/** Overridden to return the correct value for the TEXT property. */ public Object getValue(String key) { PrefProxy prefs = getCurrentPrefs(); if (key.equals(TEXT)) { if (prefs.getProperty(cmdid.preference) == null) return cmdid.defaultValue; else return prefs.getProperty(cmdid.preference); } return super.getValue(key); }