adjustments for eclipse java (preview / call for help)#6016

sterlp wants to merge 1 commit intocodemirror:mastercodemirror/codemirror5:masterfrom

sterlp:masterCopy head branch name to clipboard