src/Pure/Concurrent/synchronized.scala

 
 
 import scala.annotation.tailrec
 
 
-object Synchronized
-{
+object Synchronized {
   def apply[A](init: A): Synchronized[A] = new Synchronized(init)
 }
 
 
-final class Synchronized[A] private(init: A)
-{
+final class Synchronized[A] private(init: A) {
   /* state variable */
 
   private var state: A = init
 
   def value: A = synchronized { state }

           case Some((y, x1)) =>
             state = x1
             notifyAll()
             Some(y)
         }
-      @tailrec def try_change(): Option[B] =
-      {
+      @tailrec def try_change(): Option[B] = {
         val x = state
         check(x) match {
           case None =>
             time_limit(x) match {
               case Some(t) =>