have removed the installation specific init-param gsdl3_home from the servlets. so now there is no processing that needs to be done to this file, so I've removed web.xml.in and added it back as web.xml