https://community.languagetool.org has moved to a new server. Please let me know if there are any issues.
As I had to waste more than one hour to fix the usual encoding issues one has with Tomcat, I’l documenting here what I needed to do. Change JAVA_OPTS in /etc/default/tomcat8 to:
JAVA_OPTS="-Djava.awt.headless=true -Xmx1500m -XX:+UseConcMarkSweepGC -Djavax.servlet.request.encoding=utf8 -Dfile.encoding=utf8"
It seems this was the only change needed. Nothing needed to be changed in server.xml, catalina.sh, or /etc/init.d/tomcat8.