yes, I just use the servlet.jar file myself. I think if you drop it into the lib directory under your SDK installation it should work. Whether it needs to be in the jre aswell depends on where you are running the servlet I think. I compile servlets locally then upload them to a separate web server for example, so I only need to compile them on my own PC -
tomcat takes care of the running it side of things.