diff --git a/build.xml b/build.xml index 14e81416c..a13584801 100644 --- a/build.xml +++ b/build.xml @@ -8,7 +8,6 @@ - @@ -36,7 +35,7 @@ - + @@ -97,13 +96,13 @@ diff --git a/lib/antlr-tools.jar b/lib/antlr-tools.jar deleted file mode 100644 index ea5c6cdbd..000000000 Binary files a/lib/antlr-tools.jar and /dev/null differ diff --git a/lib/antlr.jar b/lib/antlr.jar index 531ca5c6e..8850fc6e6 100644 Binary files a/lib/antlr.jar and b/lib/antlr.jar differ