important information for production or dev environments: when to restart tomcat and how to do it
important information for production or dev environments: when to restart tomcat and how to do it