ZipFile zipFile;
try {
zipFile = new JarFile(sourceFile, true, JarFile.OPEN_READ);
ZipEntry zipEntry = zipFile.getEntry(searchedPath + "/" + searchedFileName);
if (zipEntry != null) {
return new ZipEntryStorageEditorInput(
new ZipEntryStorage(zipFile, zipEntry));
} else {
// Nothing, alas
}
} catch (IOException e) {