added script for easier debugging with Jetty