# HG changeset patch
# User wenzelm
# Date 1476015586 -7200
# Node ID 0996fab2ec03c6983f99f3b5caa3a8ccfecb229e
# Parent  c2b41b073d8a23a1121f47c581d2071f0e5d748c
modernized;

diff -r c2b41b073d8a -r 0996fab2ec03 src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Sat Oct 08 22:36:22 2016 +0200
+++ b/src/Pure/System/options.scala	Sun Oct 09 14:19:46 2016 +0200
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import java.util.Calendar
-
-
 object Options
 {
   type Spec = (String, Option[String])
@@ -411,7 +408,7 @@
 
     Isabelle_System.mkdirs(Options.PREFS_DIR)
     File.write_backup(Options.PREFS,
-      "(* generated by Isabelle " + Calendar.getInstance.getTime + " *)\n\n" + prefs)
+      "(* generated by Isabelle " + Date.Format.default(Date.now()) + " *)\n\n" + prefs)
   }
 }
 
diff -r c2b41b073d8a -r 0996fab2ec03 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Sat Oct 08 22:36:22 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Sun Oct 09 14:19:46 2016 +0200
@@ -9,7 +9,7 @@
 
 import java.io.{File => JFile}
 import java.time.format.DateTimeFormatter
-import java.util.{Calendar, Locale}
+import java.util.Locale
 
 
 object Build_History
@@ -70,7 +70,7 @@
 
       Isabelle_System.mkdirs(etc_settings.dir)
       File.write(etc_settings,
-        "# generated by Isabelle " + Calendar.getInstance.getTime + "\n" +
+        "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
         "#-*- shell-script -*- :mode=shellscript:\n")
 
       val component_settings =