private void optionsAction() {
//Construct the properties editor that will be used to edit/import/export the properties.
UserPropertiesEditor propEditor=new UserPropertiesEditor(instance);
propEditor.setLocationRelativeTo(instance);
//show the editor.
if(propEditor.showAndUpdate(userProperties,true)){
//If we are here, it means that users changes the properties, and save the changes.
setViewerInfo(getString("statusOptionsChanged"));
}
}