Jim found that three class files of java_cup.runtime have different Java version...

diff --git a/Robust/cup/java_cup/runtime/Scanner.class b/Robust/cup/java_cup/runtime/Scanner.class
index 60df2f1..29ef66b 100644 (file)
Binary files a/Robust/cup/java_cup/runtime/Scanner.class and b/Robust/cup/java_cup/runtime/Scanner.class differ

diff --git a/Robust/cup/java_cup/runtime/Symbol.class b/Robust/cup/java_cup/runtime/Symbol.class
index d2b23e0..4831d12 100644 (file)
Binary files a/Robust/cup/java_cup/runtime/Symbol.class and b/Robust/cup/java_cup/runtime/Symbol.class differ