make/Images.gmk
changeset 43384 0a0861e1db57
parent 43176 1da1ffe0c6fd
child 43783 35fe9d6f5075
--- a/make/Images.gmk	Thu Feb 02 12:05:51 2017 +0100
+++ b/make/Images.gmk	Thu Feb 02 16:50:38 2017 +0000
@@ -72,6 +72,7 @@
     java.compiler \
     java.instrument \
     java.management \
+    java.management.rmi \
     java.naming \
     java.prefs \
     java.security.jgss \