--- old/src/java.base/share/classes/java/lang/System.java	2014-10-30 16:11:41.000000000 -0400
+++ new/src/java.base/share/classes/java/lang/System.java	2014-10-30 16:11:41.000000000 -0400
@@ -1269,6 +1269,12 @@
             public void formatUnsignedInt(int val, int shift, char[] buf, int offset, int len) {
                 Integer.formatUnsignedInt(val, shift, buf, offset, len);
             }
+            public <E extends Comparable<? super E>> E internMemberName(Class<?> klass, E memberName, int transaction_token) {
+                return klass.internMemberName(memberName, transaction_token);
+            }
+            public int getClassRedefinedCount(Class<?> klass) {
+                return klass.classRedefinedCount();
+            }
         });
     }
 }