Use Java8 Time APIs

Author: Varunram

doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala

@@ -2,16 +2,13 @@ package dotty.tools
 package dottydoc
 package staticsite
 
-import java.nio.file.{ Files, FileSystems }
+import java.nio.file.{ Paths, Files, FileSystems }
 import java.nio.file.StandardCopyOption.REPLACE_EXISTING
 import java.io.{ File => JFile, OutputStreamWriter, BufferedWriter, ByteArrayInputStream }
 import java.util.{ List => JList, Map => JMap, Arrays }
 import java.nio.file.Path
 import java.nio.charset.StandardCharsets
-import java.util.Calendar
-import java.text.SimpleDateFormat
-import java.io.PrintWriter
-
+import java.time.LocalDateTime
 
 import com.vladsch.flexmark.parser.ParserEmulationProfile
 import com.vladsch.flexmark.parser.Parser
@@ -316,14 +313,12 @@ case class Site(val root: JFile, val projectTitle: String, val documentation: Ma
     */
   val layouts: Map[String, Layout] = {
 
-    val cal = Calendar.getInstance()
-    val today = cal.getTime()
-    val currentHour = new SimpleDateFormat("hh").format(today)
-    val currentMinute = new SimpleDateFormat("mm").format(today)
-    val amOrPm = new SimpleDateFormat("a").format(today)
-    val x = "<!-- generated on " + cal.get(Calendar.DATE) + "/"+ (cal.get(Calendar.MONTH)+1)+ "/"+cal.get(Calendar.YEAR) + " " + currentHour + ":" + currentMinute + ":" + amOrPm + "-->"
+    val currentTime = LocalDateTime.now();
+    val x = "<!-- generated on " + currentTime.getDayOfMonth() + "/"+ currentTime.getMonthValue()+ "/"+ currentTime.getYear() + " " + currentTime.getHour() + ":" + currentTime.getMinute() + ":" + currentTime.getSecond() + "-->"
     var loc = root.getAbsolutePath.toString + "/.." + "/doc-tool/resources/_layouts/main.html"
-    scala.tools.nsc.io.File(loc).appendAll(x)
+    if(Files.exists(Paths.get(loc))) {
+      dotty.tools.io.File(loc).appendAll(x)
+    }
 
     val userDefinedLayouts =
       root