if (!valOld.getValueString().equals(
valNew.getValueString())) { // Has the value changed?
valOld.setValueString(valNew.getValueString()); // Yes, set the 'static' value (variable) to the new value
+ valOld.setReferenceTypeName (valNew.getReferenceTypeName ());
varOld.setValueChanged(true); // and set the 'has changed' flag, so that the variable view
// could show the user the changed status with a different
// color