src/Pure/Admin/afp.scala
changeset 69980 f2e3adfd916f
parent 69979 4744e75393d9
child 69981 3dced198b9ec
     1.1 --- a/src/Pure/Admin/afp.scala	Mon Mar 25 16:11:28 2019 +0100
     1.2 +++ b/src/Pure/Admin/afp.scala	Mon Mar 25 16:45:08 2019 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.time.{LocalDate, ZoneId}
     1.8 +import java.time.LocalDate
     1.9  import scala.collection.immutable.SortedMap
    1.10  
    1.11  
    1.12 @@ -31,8 +31,7 @@
    1.13    def parse_date(s: String): Date =
    1.14    {
    1.15      val t = Date.Formatter.pattern("uuuu-MM-dd").parse(s)
    1.16 -    val zone_id = ZoneId.of("Europe/Berlin")
    1.17 -    Date(LocalDate.from(t).atStartOfDay(zone_id))
    1.18 +    Date(LocalDate.from(t).atStartOfDay(Date.timezone_berlin))
    1.19    }
    1.20  
    1.21    sealed case class Entry(name: String, metadata: Properties.T, sessions: List[String])