String resource = "/" + name.replace('.', '/') + ".class";
if (DEBUG) System.out.println("Reading class file: " + resource);
InputStream classStream = class_.getResourceAsStream(resource);
try {
ClassReader r = new ClassReader(classStream);
r.accept(this, ClassReader.SKIP_CODE + ClassReader.SKIP_DEBUG
+ ClassReader.SKIP_FRAMES);
} catch (IOException e) {
// Shouldn't generally happen
throw new TypeNotPresentException(