/** Overridden to properly save the TEXT property's value. */ public void putValue(String key, Object value) { PrefProxy prefs = getCurrentPrefs(); if (key.equals(TEXT)) prefs.setProperty(cmdid.preference, (String) value); super.putValue(key, value); }