Some minor Corrections

src/main/scala/tapasco/activity/composers/VivadoComposer.scala

@@ -22,20 +22,20 @@
  * @authors  J. Korinth, TU Darmstadt (jk@esa.cs.tu-darmstadt.de)
  **/
 package de.tu_darmstadt.cs.esa.tapasco.activity.composers
-import de.tu_darmstadt.cs.esa.tapasco.Common
-import de.tu_darmstadt.cs.esa.tapasco.base._
-import de.tu_darmstadt.cs.esa.tapasco.base.json._
-import de.tu_darmstadt.cs.esa.tapasco.base.tcl._
-import de.tu_darmstadt.cs.esa.tapasco.filemgmt.{FileAssetManager, LogTrackingFileWatcher, ProgressTrackingFileWatcher}
-import de.tu_darmstadt.cs.esa.tapasco.util._
-import de.tu_darmstadt.cs.esa.tapasco.reports._
-import de.tu_darmstadt.cs.esa.tapasco.dse.Heuristics
-import java.nio.file._
-
-import scala.sys.process.{Process, ProcessLogger}
-import scala.util.Properties.{lineSeparator => NL}
-import ComposeResult._
-import LogFormatter._
+import  de.tu_darmstadt.cs.esa.tapasco.Common
+import  de.tu_darmstadt.cs.esa.tapasco.base._
+import  de.tu_darmstadt.cs.esa.tapasco.base.json._
+import  de.tu_darmstadt.cs.esa.tapasco.base.tcl._
+import  de.tu_darmstadt.cs.esa.tapasco.filemgmt.LogTrackingFileWatcher
+import  de.tu_darmstadt.cs.esa.tapasco.util._
+import  de.tu_darmstadt.cs.esa.tapasco.reports._
+import  de.tu_darmstadt.cs.esa.tapasco.dse.Heuristics
+import  de.tu_darmstadt.cs.esa.tapasco.filemgmt.FileAssetManager
+import  java.nio.file._
+import  scala.sys.process.{Process, ProcessLogger}
+import  scala.util.Properties.{lineSeparator => NL}
+import  ComposeResult._
+import  LogFormatter._
 
 /** Implementation of [[Composer]] for Vivado Design Suite. */
 class VivadoComposer()(implicit cfg: Configuration) extends Composer {

src/main/scala/tapasco/filemgmt/ProgressTrackingFileWatcher.scala

@@ -95,8 +95,7 @@ class ProgressTrackingFileWatcher(_logger: Option[Logger] = None, pollInterval:
   private def timeString(since: Long): String = {
     val now = System.currentTimeMillis()
     val dur = Duration(now-since, "millis")
-    val s = dur.toSeconds.toInt
-    f"${s / 3600}%d:${(s % 3600) / 60}%02d:${s%60}%02d"
+    f"${dur.toHours}%d:${dur.toMinutes}%02d:${dur.toSeconds}%02d"
   }
 
   addListener(listener)