A fix to the build and the jump-to-definition feature. Fixes #544, fixes #633

Fixes #544, fixes #633
I'm afraid we don't have anything in place for automated testing of the GUI. (for info on possible tools for this, see http://stackoverflow.com/questions/91179/automated-tests-for-java-swing-guis)