Fix logger warning message for UI extension initialization#511

tortmayr wants to merge 1 commit intomastereclipse-sprotty/sprotty:masterfrom

tortmayr-patch-1eclipse-sprotty/sprotty:tortmayr-patch-1Copy head branch name to clipboard