src/java.base/share/classes/java/lang/System.java
changeset 55693 9a97b1393e72
parent 55265 d80becbcd3c1
child 57792 1b6806340400
--- a/src/java.base/share/classes/java/lang/System.java	Wed Jul 17 11:43:38 2019 +0200
+++ b/src/java.base/share/classes/java/lang/System.java	Wed Jul 17 12:35:46 2019 +0200
@@ -2274,6 +2274,11 @@
             public void setCause(Throwable t, Throwable cause) {
                 t.setCause(cause);
             }
+
+            public void loadLibrary(Class<?> caller, String library) {
+                assert library.indexOf(java.io.File.separatorChar) < 0;
+                ClassLoader.loadLibrary(caller, library, false);
+            }
         });
     }
 }