return null;
if (f.getName().endsWith(".zip")) return zipIcon; if (f.getName().endsWith(".gz")) return gzipIcon; if (f.getName().endsWith(".dfl")) return deflateIcon; return null;
return f.getName();
if (f.getName().endsWith(".zip")) return "Zip archive"; if (f.getName().endsWith(".gz")) return "Gzipped file"; if (f.getName().endsWith(".dfl")) return "Deflated file"; return null;