A barebones WAR server that's not Tomcat