Add script to reboot tomcat.
Customize servlet.