web.xml: Add space right after PUBLIC for DOCTYPE

Tomcat was complaining about this and wouldn't launch the WAR.