Fix exception in javac extension#3609

Drodt merged 1 commit intoKeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:javac-fixFliegendeWurst/key:javac-fixCopy head branch name to clipboard