SwingUI restored and merged and what know I ...
fixed Runner.java: the path separation was based on unix file path
separator, not on File.separatorChar