Corrected erroneous setting for Jetty