diff -r 5e74f3dd4656 -r 0a0861e1db57 make/Images.gmk --- 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 \