Merge branch '1.10.x' of ssh://git.eclipse.org:29418/4diac/org.eclipse.4diac.ide into 1.10.x

Change-Id: If639786e662b865f65b698f6cea06761262b1988