Fixing a bug in ClassLoader.defineClass(); basically this method has to still return...

[jpf-core.git] / src / examples / Racer.java

diff --git a/src/examples/Racer.java b/src/examples/Racer.java
index 227cfab422f067fe0a02d1a189367c6fedeff61f..c53bb4827695d9f1a660c58d18c5b3b7d8930d0b 100644 (file)
--- a/src/examples/Racer.java
+++ b/src/examples/Racer.java
@@ -16,28 +16,28 @@
  * limitations under the License.
  */
 
-public class Racer implements Runnable {\r
-\r
-     int d = 42;\r
-\r
+public class Racer implements Runnable {
+
+     int d = 42;
+
      @Override
-       public void run () {\r
-          doSomething(1001);                   // (1)\r
-          d = 0;                               // (2)\r
-     }\r
-\r
-     public static void main (String[] args){\r
-          Racer racer = new Racer();\r
-          Thread t = new Thread(racer);\r
-          t.start();\r
-\r
-          doSomething(1000);                   // (3)\r
-          int c = 420 / racer.d;               // (4)\r
-          System.out.println(c);\r
-     }\r
-     \r
-     static void doSomething (int n) {\r
-          // not very interesting..\r
-          try { Thread.sleep(n); } catch (InterruptedException ix) {}\r
-     }\r
-}\r
+       public void run () {
+          doSomething(1001);                   // (1)
+          d = 0;                               // (2)
+     }
+
+     public static void main (String[] args){
+          Racer racer = new Racer();
+          Thread t = new Thread(racer);
+          t.start();
+
+          doSomething(1000);                   // (3)
+          int c = 420 / racer.d;               // (4)
+          System.out.println(c);
+     }
+     
+     static void doSomething (int n) {
+          // not very interesting..
+          try { Thread.sleep(n); } catch (InterruptedException ix) {}
+     }
+}