public void addPropertyChangeListener(PropertyChangeListener listener){
  props.addListener(listener);
}

public void addPropertyChangeListener ( PropertyChangeListener listener ) { props . addListener ( listener ) ; }
register a listener for changes to options .
