diff -r f3240f3aa698 -r d1c4a1dee9e7 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Mon Dec 03 15:15:54 2018 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Mon Dec 03 20:04:48 2018 +0100
@@ -163,7 +163,7 @@
         val component_dir = dir + jdk_path
 
         Isabelle_System.mkdirs(component_dir + Path.explode("etc"))
-        File.write(component_dir + Path.explode("etc/settings"), settings)
+        File.write(Components.settings(component_dir), settings)
         File.write(component_dir + Path.explode("README"), readme(version))
 
         for ((_, platform) <- extracted)