Some minor changes to get config-prettyfaces compile against Servlet 2.5