make tomcat restart configurable; create mysql db only if it does not exist