fix jetty default thread pool size for jetty 9 and prepare for next release