328329330331332333334335336337338
} if (resource != null) { return new File(resource.getFile()); } } else if (loader instanceof zipimporter) { zipimporter importer = (zipimporter) loader; return new File(importer.archive); } //JavaImporter?? } return file; }