Import workspace files (for run configs) and saveSettings

The saveApplicationSettings() call is important because it
will write the jdk table to disk so the external compiler
process can find it