1 2 3 4 5 6
package java.lang; /** @testcase PR#762 Compiling java.lang.Object with ajc yields non-verifying bytecode */ public class Object { // CE 5 here? }