formatted code section for jetty