code: public GlobalVariable replaceGlobalVariable(String name, Element value,
  			boolean finalFlag) {
  
  		assert (name != null);
  
  		GlobalVariable oldVariable = globalVariables.get(name);
  		GlobalVariable newVariable = new GlobalVariable(finalFlag, value);
  		globalVariables.put(name, newVariable);
  		return oldVariable;
  	}
docs: Replaces the given global variable with the given value. The flag
  indicates whether or not the variable should be marked as final. Note,
  however, that this routine does not respect the final flag and replaces
  the value unconditionally. The function returns the old value of the
  variable or null if it didn't exist.