diff --git a/pom.xml b/pom.xml index 15836618c..29ecba159 100644 --- a/pom.xml +++ b/pom.xml @@ -88,7 +88,7 @@ github 1.7 - 3.5.2 + 3.8.5 ${jflex.jdk.version} ${jflex.jdk.version} UTF-8