--- a/src/Pure/General/date.scala Fri Feb 10 10:34:14 2017 +0100
+++ b/src/Pure/General/date.scala Fri Feb 10 11:04:28 2017 +0100
@@ -8,7 +8,6 @@
import java.util.Locale
-import java.sql.Timestamp
import java.time.{Instant, ZonedDateTime, LocalTime, ZoneId, OffsetDateTime}
import java.time.format.{DateTimeFormatter, DateTimeParseException}
import java.time.temporal.TemporalAccessor
@@ -39,7 +38,6 @@
val default: Format = Format("dd-MMM-uuuu HH:mm:ss xx")
val date: Format = Format("dd-MMM-uuuu")
val time: Format = Format("HH:mm:ss")
- val timestamp: Format = Format("uuuu-MM-dd HH:mm:ss.SSS x")
}
abstract class Format private
@@ -96,7 +94,6 @@
def to_utc: Date = to(ZoneId.of("UTC"))
def instant: Instant = Instant.from(rep)
- def timestamp: Timestamp = Timestamp.from(instant)
def time: Time = Time.instant(instant)
def timezone: ZoneId = rep.getZone