}
if(dialog == null)
dialog= new JDialog(UITools.getFrame(), true /* modal */);
dialog.setResizable(true);
dialog.setUndecorated(false);
final OptionPanel options = new OptionPanel(dialog, new IOptionPanelFeedback() {
public void writeProperties(final Properties props) {
boolean propertiesChanged = false;
for (final Object keyObject : props.keySet()) {
final String key = keyObject.toString();
final String newProperty = props.getProperty(key);