Application traitの裏技

Application traitには、なんか微妙な裏技というか、機能が隠されてる
以下REPLでの実行結果をそのまま貼りつけ↓

scala> object Main extends Application{
     |   util.Properties.setProp("scala.time","0")
     |   println( 1 to 100000000 sum )
     | }
defined module Main

scala> Main main null
987459712
[total 3091ms]

まぁ実行時間を計るだけ
2.8.1ではApplication traitのソースは以下のようになってるだけ(コメントは省略した)

trait Application {
  val executionStart: Long = currentTime

  def main(args: Array[String]) {
    if (util.Properties.propIsSet("scala.time")) {
      val total = currentTime - executionStart
      Console.println("[total " + total + "ms]")
    }
  }
}

なんだか2.9.0ではちょっとだけ変わるかもしれないらしい(？)