Too bad, while experimenting with the different workspaces I must have
overwritten the original one, so I am not able to reproduce the problem
any more. As far as I remember there were no exceptions thrown, simply
indentation/autocompletion/error checking did not work.