Jetty 6 core and util source code can be found at http://dist.codehaus.org/jetty/jetty-6.1.12/jetty-6.1.12-src.zip
Java Servlet Api source code can be found at https://glassfish-svn.dev.java.net/