Bump antlr4 to 4.7.1

A security fix is included in this version. See antlr/antlr4#2069.
alecharp · Oct 20, 2020 · 8354ff2 · 8354ff2
1 parent 40a8ac6
commit 8354ff2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -97,7 +97,7 @@
         <pmd.plugin.version>3.13.0</pmd.plugin.version>
         <ant.version>1.10.8</ant.version>
         <javadoc.plugin.version>3.2.0</javadoc.plugin.version>
-        <antlr.version>4.7</antlr.version>
+        <antlr.version>4.7.1</antlr.version>
 
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>