fix up some jetty-spring documetnation