Cleanup: delete unused web.xml, convert to Java-1.7, replace deprecated API usage