Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
workaround for jdk-10.0.1;
authorwenzelm
Fri, 20 Apr 2018 11:41:09 +0200
changeset 68013 7a30a3cc2763
parent 68012 6d38b4fd872e
child 68014 9096895dc2a6
workaround for jdk-10.0.1;
src/Pure/Admin/ci_profile.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/ci_profile.scala	Fri Apr 20 11:34:12 2018 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Fri Apr 20 11:41:09 2018 +0200
@@ -9,7 +9,7 @@
 
 import java.time.{Instant, ZoneId}
 import java.time.format.DateTimeFormatter
-import java.util.{Properties => JProperties}
+import java.util.{Properties => JProperties, Map => JMap}
 
 
 abstract class CI_Profile extends Isabelle_Tool.Body
@@ -88,7 +88,7 @@
     print_section("CONFIGURATION")
     println(Build_Log.Settings.show())
     val props = load_properties()
-    System.getProperties().putAll(props)
+    System.getProperties().asInstanceOf[JMap[AnyRef, AnyRef]].putAll(props)
 
     val options =
       with_documents(Options.init())
isabelle