Fixing errors and uglinesses in jetty-home-and-jetty-base.xml.