Minor changes to README and ABC-Tomcat.py