&& packageFragment.getElementName().equals(searchedPackage)) {
for (Object njr: packageFragment.isDefaultPackage() ? packageFragmentRoot.getNonJavaResources() : packageFragment.getNonJavaResources()) {
if (njr instanceof IJarEntryResource) {
IJarEntryResource jer = (IJarEntryResource) njr;
if (jer.getName().equals(searchedFileName)) {
return new JarEntryEditorInput(jer);
}
} else if (njr instanceof IFile) {
IFile file = (IFile) njr;
if (file.getName().equals(searchedFileName)) {
return new FileEditorInput(file);