imports are meaningful to compiler now

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Coordinate.java b/Robust/src/Benchmarks/oooJava/labyrinth/Coordinate.java
index a9c9c549a8a9083bc47bd1e93a41ccb3dc02812d..1a8e7271aecc23cd3a739a3f8d02a56137f7b2d9 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Coordinate.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Coordinate.java
@@ -68,7 +68,10 @@
  * =============================================================================
  */
 
-import java.lang.Math;
+// jjenista
+//import java.lang.Math;
+import Math;
+
 
 public class Coordinate {