added ui prefs for newer eclipse's (copied from original)