fix issue 6575#6710

Porthoos wants to merge 5 commits intolanguagetool-org:masterlanguagetool-org/languagetool:masterfrom

Porthoos:masterPorthoos/languagetool:masterCopy head branch name to clipboard