Program: 72516
Project: 72516
Buggy source:
/** 
 * Clone the actor into the specified workspace.
 * @param workspace The workspace for the new object.
 * @return A new actor.
 * @exception CloneNotSupportedException If a derived class containsan attribute that cannot be cloned.
 */
@Override public Object clone(Workspace workspace) throws CloneNotSupportedException {
  HlaManager newObject=(HlaManager)super.clone(workspace);
  newObject._hlaAttributesToPublish=new HashMap<String,Object[]>();
  newObject._hlaAttributesSubscribedTo=new HashMap<String,Object[]>();
  newObject._fromFederationEvents=new HashMap<String,LinkedList<TimedEvent>>();
  newObject._objectIdToClassHandle=new HashMap<Integer,Integer>();
  newObject._strucuralInformation=new HashMap<Integer,StructuralInformation>();
  newObject._newlyCreated=new LinkedList<Instantiable>();
  newObject._rtia=null;
  newObject._federateAmbassador=null;
  newObject._federateName=_federateName;
  newObject._federationName=_federationName;
  newObject._isTimeConstrained=_isTimeConstrained;
  newObject._isTimeRegulator=_isTimeRegulator;
  try {
    newObject._hlaStartTime=((DoubleToken)hlaStartTime.getToken()).doubleValue();
    newObject._hlaTimeStep=((DoubleToken)hlaTimeStep.getToken()).doubleValue();
    newObject._hlaLookAHead=((DoubleToken)hlaLookAHead.getToken()).doubleValue();
  }
 catch (  IllegalActionException ex) {
    CloneNotSupportedException ex2=new CloneNotSupportedException("String_Node_Str");
    ex2.initCause(ex);
    throw ex2;
  }
  newObject._requireSynchronization=_requireSynchronization;
  newObject._synchronizationPointName=_synchronizationPointName;
  newObject._isCreator=_isCreator;
  newObject._eventBased=_eventBased;
  newObject._timeStepped=_timeStepped;
  return newObject;
}

Fixed version (ground truth):
/** 
 * Clone the actor into the specified workspace.
 * @param workspace The workspace for the new object.
 * @return A new actor.
 * @exception CloneNotSupportedException If a derived class containsan attribute that cannot be cloned.
 */
@Override public Object clone(Workspace workspace) throws CloneNotSupportedException {
  HlaManager newObject=(HlaManager)super.clone(workspace);
  newObject._hlaAttributesToPublish=new HashMap<String,Object[]>();
  newObject._hlaAttributesSubscribedTo=new HashMap<String,Object[]>();
  newObject._fromFederationEvents=new HashMap<String,LinkedList<TimedEvent>>();
  newObject._objectIdToClassHandle=new HashMap<Integer,Integer>();
  newObject._strucuralInformation=new HashMap<Integer,StructuralInformation>();
  newObject._newlyCreated=new LinkedList<Instantiable>();
  newObject._registeredObject=new HashMap<String,Integer>();
  newObject._rtia=null;
  newObject._federateAmbassador=null;
  newObject._federateName=_federateName;
  newObject._federationName=_federationName;
  newObject._isTimeConstrained=_isTimeConstrained;
  newObject._isTimeRegulator=_isTimeRegulator;
  try {
    newObject._hlaStartTime=((DoubleToken)hlaStartTime.getToken()).doubleValue();
    newObject._hlaTimeStep=((DoubleToken)hlaTimeStep.getToken()).doubleValue();
    newObject._hlaLookAHead=((DoubleToken)hlaLookAHead.getToken()).doubleValue();
  }
 catch (  IllegalActionException ex) {
    CloneNotSupportedException ex2=new CloneNotSupportedException("String_Node_Str");
    ex2.initCause(ex);
    throw ex2;
  }
  newObject._requireSynchronization=_requireSynchronization;
  newObject._synchronizationPointName=_synchronizationPointName;
  newObject._isCreator=_isCreator;
  newObject._eventBased=_eventBased;
  newObject._timeStepped=_timeStepped;
  return newObject;
}