jdk/src/share/classes/java/lang/Runtime.java
changeset 11117 b6e68b1344d4
parent 9500 268f823d9e1c
child 14342 8435a30053c1
--- a/jdk/src/share/classes/java/lang/Runtime.java	Wed Nov 30 10:57:51 2011 +0000
+++ b/jdk/src/share/classes/java/lang/Runtime.java	Wed Nov 30 12:42:26 2011 +0000
@@ -780,7 +780,7 @@
         load0(System.getCallerClass(), filename);
     }
 
-    synchronized void load0(Class fromClass, String filename) {
+    synchronized void load0(Class<?> fromClass, String filename) {
         SecurityManager security = System.getSecurityManager();
         if (security != null) {
             security.checkLink(filename);
@@ -833,7 +833,7 @@
         loadLibrary0(System.getCallerClass(), libname);
     }
 
-    synchronized void loadLibrary0(Class fromClass, String libname) {
+    synchronized void loadLibrary0(Class<?> fromClass, String libname) {
         SecurityManager security = System.getSecurityManager();
         if (security != null) {
             security.checkLink(libname);