The file name mix-up was just a typing error in my message.
I'm running JRun at home instead of Tomcat, but that should not affect the compiling if the jar with the servlet info is in the path. (In my case, the javax.servlet stuff is in jsdk.jar, which is in the jdk1.3 directory.) My regular
java programs compile fine, and the src.jar is also in the jdk1.3 directory.
Any other suggestions?