Scala : Timing attack