languagetool-org/languagetool — pull request #215 by sieben (2014-11-24 07:19:33+00:00)
Title: Java migration

Minor java fixes.