Fixed bug on webstart, which prevented loading the editor