#2 Workspaces with spaces in their pathnames do not work

[lur1]

Currently workspaces with spaces in their pathnames do not work.
Escaping spaces by \ or sourrounding strings with "", e.g. in the Preferences-Setup will not work, because the routine Runtime.getRuntime().exec(String,...) that is utilized in ProgramExecuter, is not aware of escapes or strings, it simply derives the arguments with a call to StringTokenizer.