--- a/make/CompileJavaModules.gmk	Wed Jun 06 13:06:21 2018 +0100
+++ b/make/CompileJavaModules.gmk	Wed Jun 06 15:36:29 2018 +0200
@@ -325,6 +325,10 @@
 
 ################################################################################
 
+jdk.internal.opt_COPY += .properties
+
+################################################################################
+
 jdk.jcmd_COPY += _options
 
 ################################################################################