JOptionPane.OK_CANCEL_OPTION,
this.keyBox);
if (ret == JOptionPane.OK_OPTION) {
String key = getKey();
String value = getValue();
ReasonerProperty pro = new ReasonerProperty(key, value);
if(selectedFunctionCondition == null){
JOptionPane.showMessageDialog(workspace, "Please select a function first.",
"Error", JOptionPane.WARNING_MESSAGE);
return;
}