*/
public static final Module open(File file) throws FileNotFoundException, IOException, JAXBException {
/* If the URL points to a disk directory */
if (file.exists() == true && file.isDirectory() == true) {
return new FileModule(file);
}
else if (file.exists() == true && file.getName().endsWith(".jar") == true) {
return new ArchiveModule(file);
}
else {