public void propertyChange(PropertyChangeEvent event) { if (pref.isSource(event)) { selectOption(pref.get()); } }