package java.lang;



/** @testcase PR#762 Compiling java.lang.Object with ajc yields non-verifying bytecode */
public class String { // CE 7 here?
}