jbosstools/jbosstools-openshift — pull request #17 by adietish (2012-11-15 12:41:27+00:00)
Title: [JBIDE-12909] persisting default hosts by username, custom hosts by url

so that former JBDS releases can still use those. Reading default hosts
from legacy preferences so that old settings are preserved.