Add mysql changes to jetty-env.xml