diff --git a/experiments/Rats!/java/input/antlr4/tool/pom.xml b/experiments/Rats!/java/input/antlr4/tool/pom.xml index ba38bcd7..0d4935ab 100644 --- a/experiments/Rats!/java/input/antlr4/tool/pom.xml +++ b/experiments/Rats!/java/input/antlr4/tool/pom.xml @@ -25,7 +25,7 @@ org.eclipse.jetty jetty-server - 9.4.17.v20190418 + 9.4.51.v20230217 test