workaround for jdk-10.0.1;
authorwenzelm
Fri Apr 20 11:41:09 2018 +0200 (6 months ago)
changeset 680137a30a3cc2763
parent 68012 6d38b4fd872e
child 68014 9096895dc2a6
workaround for jdk-10.0.1;
src/Pure/Admin/ci_profile.scala
     1.1 --- a/src/Pure/Admin/ci_profile.scala	Fri Apr 20 11:34:12 2018 +0200
     1.2 +++ b/src/Pure/Admin/ci_profile.scala	Fri Apr 20 11:41:09 2018 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  import java.time.{Instant, ZoneId}
     1.6  import java.time.format.DateTimeFormatter
     1.7 -import java.util.{Properties => JProperties}
     1.8 +import java.util.{Properties => JProperties, Map => JMap}
     1.9  
    1.10  
    1.11  abstract class CI_Profile extends Isabelle_Tool.Body
    1.12 @@ -88,7 +88,7 @@
    1.13      print_section("CONFIGURATION")
    1.14      println(Build_Log.Settings.show())
    1.15      val props = load_properties()
    1.16 -    System.getProperties().putAll(props)
    1.17 +    System.getProperties().asInstanceOf[JMap[AnyRef, AnyRef]].putAll(props)
    1.18  
    1.19      val options =
    1.20        with_documents(Options.init())