rev 52613 : webrev.01
*** 120,129 **** --- 120,133 ---- public boolean isOld() { return type.isOld(); } + public boolean isPreMatureOld() { + return type.isPreMatureOld(); + } + public static long getPointerSize() { return pointerSize; } public void printOn(PrintStream tty) {