}
}
} catch (ClassFormatException e) {
- System.out.println("Unexpected ClassFormatException"); // FIXME
- e.printStackTrace(); return null;
+ e.printStackTrace();
+ throw new Error("unexpected ClassFormatException resolving compiled class: "+e);
}
if (veryverbose) System.out.println(" not found");
return null;