/usr/lib/eclipse-3.2/plugins/org.eclipse.tomcat_4.1.130.v20060601/servlet.jar This seems to be servletapi-2.4 most likely. We should also run regjar on all the installed jar files to make them known to java-config.
Fixed in Eclipse-3.3, we don't use the bundled jar anymore.