diff --git a/Mario/pom.xml b/Mario/pom.xml old mode 100755 new mode 100644 index f4db783..86411d6 --- a/Mario/pom.xml +++ b/Mario/pom.xml @@ -239,7 +239,7 @@ org.eclipse.jetty jetty-server - 9.3.14.v20161028 + 9.4.17.v20190418 org.eclipse.jetty