restore jetty, format code style