helper script: restart tomcat after upload of new version
helper script: restart tomcat after upload of new version

languagetool-org/languagetool-community-website,languagetool-org/languagetool-community-website,languagetool-org/languagetool-community-website