/** List all filenames in directory */ public DirEnt[] list() { File[] files = dir.listFiles(); DirEnt[] ents = new DirEnt[files.length]; for (int n = 0; n < files.length; n++) ents[n] = new DirEnt(files[n], n); return ents; }