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.