Fix NPE using KeY command line interface caused by Java NIO#3643

wadoon merged 2 commits intomainKeYProject/key:mainfrom

weigl/fixNPEnioKeYProject/key:weigl/fixNPEnioCopy head branch name to clipboard