return new BaseFileReference(file);
return new JarFileReference(jarFile, element);
File baseFile = new File(base); if (baseFile.isDirectory()) { return new BaseFileReference(new File(baseFile, filename)); } else { try { return new JarFileReference(baseFile, filename); } catch (IOException e) { System.err.println("Couldn't open JAR file " + baseFile); return new NonExistentFileReference(baseFile + ":" + filename); } }