workaround so that javax.servlet loads properly - use 2.5 instead of 3.0