*** empty log message ***

1 files changed, 0 insertions, 50 deletions

diff --git a/sources/scala/Executable.scala b/sources/scala/Executable.scala
deleted file mode 100644
index 516a902368..0000000000
--- a/sources/scala/Executable.scala
+++ /dev/null
@@ -1,50 +0,0 @@
-/*                     __                                               *\
-**     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2002, LAMP/EPFL                  **
-**  __\ \/ /__/ __ |/ /__/ __ |                                         **
-** /____/\___/_/ |_/____/_/ | |                                         **
-**                          |/                                          **
-\*                                                                      */
-
-package scala;
-
-
-/** The <code>Executable</code> class can be used to quickly turn objects
- *  into executable programs. Here is an example:
- *  <pre>
- *  object Main with Executable {
- *    Console.println("Hello World!");
- *  }
- *  </pre>
- *  Here, object <code>Main</code> inherits the <code>main</code> method
- *  of <code>Executable</code>. The body of the <code>Main</code> object
- *  defines the main program. This technique does not work if the main
- *  program depends on command-line arguments (which are not accessible
- *  with the technique presented here).
- *
- *  It is possible to time the execution of objects that inherit from
- *  class <code>Executable</code> by setting the global scala.time property.
- *  Here is an example for benchmarking object <code>Main</code>:
- *  <pre>
- *  java -Dscala.time Main
- *  </pre>
- *
- *  @author  Matthias Zenger
- *  @version 1.0, 10/09/03
- */
-
-class Executable {
-
-    /** The time when execution of this program started.
-     */
-    val executionStart: Long = java.lang.System.currentTimeMillis();
-
-    /** The default main method.
-     */
-    def main(args: Array[String]) = {
-        if (java.lang.System.getProperty("scala.time") != null)
-          java.lang.System.out.println("[total " +
-				       (java.lang.System.currentTimeMillis()
-					- executionStart) + "ms]");
-    }
-}