src/Pure/Concurrent/event_timer.scala

 
 
 import java.util.{Timer, TimerTask, Date => JDate}
 
 
-object Event_Timer
-{
+object Event_Timer {
   private lazy val event_timer = new Timer("event_timer", true)
 
-  final class Request private[Event_Timer](val time: Time, val repeat: Option[Time], task: TimerTask)
-  {
+  final class Request private[Event_Timer](
+    val time: Time,
+    val repeat: Option[Time],
+    task: TimerTask
+  ) {
     def cancel(): Boolean = task.cancel()
   }
 
-  def request(time: Time, repeat: Option[Time] = None)(event: => Unit): Request =
-  {
+  def request(time: Time, repeat: Option[Time] = None)(event: => Unit): Request = {
     val task = new TimerTask { def run: Unit = event }
     repeat match {
       case None => event_timer.schedule(task, new JDate(time.ms))
       case Some(rep) => event_timer.schedule(task, new JDate(time.ms), rep.ms)
     }