JBIDE-17213 - do not save tmpdir if its the same as java.io.tempdir, allow workspace to suggest good defaults if loaded in different OS