public void updateVariableReferences(String oldName, String newName) { if (leftChild != null) { leftChild.updateVariableReferences(oldName, newName); } if (rightChild != null) { rightChild.updateVariableReferences(oldName, newName); } if (type == ElementType.USER_VARIABLE && value.equals(oldName)) { value = newName; } }