/** * Get a file for an entry path. */ public synchronized File getFile(String path) { if(entryfiles==null) refresh(); return (File)entryfiles.get(path); }
/** * Get a file for an entry path. */ public synchronized File getFile(String path) { if(entryfiles==null) refresh(); return (File)entryfiles.get(path); }
/** * Asynchronously search for children. * Should call setChildren() once children are found. */ protected void searchChildren() { ((JarAsDirectory)getFile()).refresh(); super.searchChildren(); }
((JarAsDirectory)file).refresh();