Hi David -
Did you ever find out why the javax.servlet and javax.servlet.http; imports were not being accepted?
Those files exist in my system - although not in the place where the eclipse IDE is looking for them. I have a BUNCH of books and access to the Eclipse docs - but have not stumbled on any indication of how to make those JAR files available to the system.
Surely we are not the only two dudes out here trying to do this SIMPLE little exercise. If anyone would care to chime in with some info, in the words of 'Butthead, "THAT would be cooool... uh-huh-huh..."
By dropping the two javax JAR files from the JBOSS installation into the /System/Library/Java/Extensions folder in my system (MacOSX) - the error condition went away. I looked for 'vecmat.jar on my system and that's how I decided where the JAR files should go.