ZipFile zip = null; try { zip = getArchive(); } catch (IOException e) { throw new CoreException(new Status(IStatus.ERROR, LaunchingPlugin.getUniqueIdentifier(), IJavaLaunchConfigurationConstants.ERR_INTERNAL_ERROR,
@Override public Object findSourceElement(String name) throws CoreException { try { if (getArchive() == null) { return null; entryPath = getRootPath().append(entryPath); ZipEntry entry = getArchive().getEntry(entryPath.toString()); if (entry != null) { return new ZipEntryStorage(getArchive(), entry);
@Override public Object findSourceElement(String name) throws CoreException { try { if (getArchive() == null) { return null; entryPath = getRootPath().append(entryPath); ZipEntry entry = getArchive().getEntry(entryPath.toString()); if (entry != null) { return new ZipEntryStorage(getArchive(), entry);
ZipFile zip = null; try { zip = getArchive(); } catch (IOException e) { throw new CoreException(new Status(IStatus.ERROR, LaunchingPlugin.getUniqueIdentifier(), IJavaLaunchConfigurationConstants.ERR_INTERNAL_ERROR,