Google App Engine Java - javax.servlet source files
===

Using Eclipse (juno) and GAE plugin, I've compiled and ran the "guestbook" example (https://developers.google.com/appengine/docs/java/gettingstarted/creating) without any problem.
Both of the class of the example extend "HttpServlet" class of javax.servlet.http package.

I'd like to see the source code (and javadoc) of this class and of the other class of the package (and super package), but I can't figure out where they are.

They are not in
Program Files\eclipse-jee-juno-win32\eclipse\plugins\com.google.appengine.eclipse.sdkbundle_1.7.0\appengine-java-sdk-1.7.0\src
(I've tried all of the files in there)

Binary files should be in servlet-api.jar in
Program Files\eclipse-jee-juno-win32\eclipse\plugins\com.google.appengine.eclipse.sdkbundle_1.7.0\appengine-java-sdk-1.7.0\lib\shared

I've googled a lot without success.
Anybody knows where to find sources of javax.servlet package?
Thanks a lot.