# HG changeset patch
# User wenzelm
# Date 1656431730 -7200
# Node ID f5015fa7cb1909ad65b88c9cbdd5edff7e6eb6b4
# Parent  e4bbe0b9288db897b619e7742e2f96290a4194f9
prefer Isabelle/Scala operations;

diff -r e4bbe0b9288d -r f5015fa7cb19 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Tue Jun 28 15:34:05 2022 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Tue Jun 28 17:55:30 2022 +0200
@@ -7,7 +7,6 @@
 package isabelle
 
 
-import java.time.{Instant, ZoneId}
 import java.time.format.DateTimeFormatter
 import java.util.{Properties => JProperties, Map => JMap}
 import java.nio.file.Files
@@ -118,7 +117,7 @@
     val isabelle_id = hg_id(isabelle_home)
 
     val start_time =
-      Instant.now().atZone(ZoneId.systemDefault).format(DateTimeFormatter.RFC_1123_DATE_TIME)
+      Date.Format.make(List(DateTimeFormatter.RFC_1123_DATE_TIME))(Date.now())
 
     print_section("CONFIGURATION")
     println(Build_Log.Settings.show())