public void fireChanged() { for (ReasonerPreferencesListener listener : listeners) { listener.preferencesChanged(); } }
public void fireChanged() { for (ReasonerPreferencesListener listener : listeners) { listener.preferencesChanged(); } }
public void fireChanged() { for (ReasonerPreferencesListener listener : listeners) { listener.preferencesChanged(); } }
public void fireChanged() { for (ReasonerPreferencesListener listener : listeners) { listener.preferencesChanged(); } }