Thanks for the help. The actual problem seemed to be that I had removed  a <servlet> block from web.xml, not the associated <servlet-mapping>.

I agree though that some other than a null pointer exception should be thrown.
Target ********************************************************************** DISCLAIMER. This message is intended only for the use of the Addressee and may contain information that is PRIVILEGED and CONFIDENTIAL. If you are not the intended recipient you must not copy, distribute or take any action or reliance upon it. The content of this message may also contain personal views of an employee of this company and does not necessarily represent the view of the company. ********************************************************************** This message has been scanned by Norton Anti-Virus. It has also been scanned by MAILsweeper to enforce our e-mail policy. If you have any concerns or comments about the content of this message, please e-mail **********************************************************************
This email has been scanned for all viruses by the MessageLabs Email
Security System. For more information on a proactive email security
service working around the clock, around the globe, visit