jdk/src/share/classes/java/lang/System.java
changeset 21628 50fd58446d64
parent 21358 d41ff832d4f6
child 24367 705490680527
--- a/jdk/src/share/classes/java/lang/System.java	Thu Nov 07 16:55:39 2013 +0100
+++ b/jdk/src/share/classes/java/lang/System.java	Fri Nov 08 07:53:57 2013 -0800
@@ -1263,6 +1263,9 @@
             public Thread newThreadWithAcc(Runnable target, AccessControlContext acc) {
                 return new Thread(target, acc);
             }
+            public void invokeFinalize(Object o) throws Throwable {
+                o.finalize();
+            }
         });
     }
 }