protected void optionsDialogPropertyChange(PropertyChangeEvent event){
  log.debug("internal options dialog handler");
  firePropertyChange(PropertyChangeID.OPTION_CHANGE,event.getOldValue(),event.getNewValue());
}

protected void optionsDialogPropertyChange ( PropertyChangeEvent event ) { log . debug ( "internal options dialog handler" ) ; firePropertyChange ( PropertyChangeID . OPTION_CHANGE , event . getOldValue ( ) , event . getNewValue ( ) ) ; }
callback for the config dialog
