diff --git a/lib/antlr-3.1.3.jar b/lib/antlr-3.1.3.jar new file mode 100644 index 0000000000..d3bd9cf942 Binary files /dev/null and b/lib/antlr-3.1.3.jar differ