JBIDE-18029 find way to track plugins that are not branded
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