make/common/Modules.gmk
changeset 43384 0a0861e1db57
parent 43382 8e0c4b44e4c0
child 43398 3cecfaef55fe
--- a/make/common/Modules.gmk	Thu Feb 02 12:05:51 2017 +0100
+++ b/make/common/Modules.gmk	Thu Feb 02 16:50:38 2017 +0000
@@ -51,6 +51,7 @@
     java.instrument \
     java.logging \
     java.management \
+    java.management.rmi \
     java.naming \
     java.prefs \
     java.rmi \