jdk/src/java.management/share/classes/module-info.java
changeset 42338 a60f280f803c
parent 40743 a775e4de954f
child 43235 da1786d695b6
--- a/jdk/src/java.management/share/classes/module-info.java	Wed Nov 23 16:16:35 2016 +0000
+++ b/jdk/src/java.management/share/classes/module-info.java	Thu Dec 01 08:57:53 2016 +0000
@@ -30,7 +30,7 @@
  * JVM and other components in the Java runtime.
  */
 module java.management {
-    requires public java.rmi;
+    requires transitive java.rmi;
     requires java.logging;
     requires java.naming;