zipFile = manager.getZipFile(zipPath);
String classFileName = classFile.getElementName();
String path = Util.concatWith(pkg.names, classFileName, '/');
return ClassFileReader.read(zipFile, path);
} finally {
manager.closeZipFile(zipFile);
}
} catch (ClassFormatException e) {
// invalid class file: return null
} catch (CoreException e) {
// cannot read class file: return null