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 60df2f11f6981e7d2276ccca09d2f149aa0350a7..29ef66b25c2d9407e74b4a9a0ab1b6564005fe76 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 d2b23e07b0a308e5024d14ab7e2a0f663b062b1b..4831d12d43969acba163896662418f160f926ab8 100644 (file)
Binary files a/Robust/cup/java_cup/runtime/Symbol.class and b/Robust/cup/java_cup/runtime/Symbol.class differ