--- 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 \