	Changes Fixes https://github.com/eclipse-glsp/glsp/issues/1199 (#223) (details / githubweb)
	Push event to branch master at 11:59:19 AM on Dec 15, 2023
	This run spent: 26 sec waiting; 6 min 12 sec build duration; 6 min 18 sec total from scheduled to completion.
	Revision: d62a1cd62b95d43c773807aa4775c4b4ebb17f1f Repository: https://github.com/eclipse-glsp/glsp-server.git master
	CheckStyle: No warnings (from 10 analyses) No issues for 72 builds, i.e. since build: Success #27 Reference build: eclipse-glsp » glsp-server » master #97 Quality gate: Success
	Test Result (no failures)
	Maven: 23 warnings Reference build: eclipse-glsp » glsp-server » master #97
	Java Compiler: No warnings No issues for 7 builds, i.e. since build: Success #92 Reference build: eclipse-glsp » glsp-server » master #97