Program: 73086
Project: 73086
Buggy source:
/** 
 * Update the parameters listed in the modelDescription.xml file contained in the zipped file named by the <i>fmuFile</i> parameter
 * @exception IllegalActionException If the file named by the<i>fmuFile<i> parameter cannot be unzipped or if there is a problem deleting any pre=existing parameters or creating new parameters.
 * @exception NameDuplicationException If a paramater to be createdhas the same name as a pre-existing parameter.
 */
private void _updateParameters() throws IllegalActionException, NameDuplicationException {
  if (_debugging) {
    _debug("String_Node_Str");
  }
  String fmuFileName=null;
  try {
    fmuFileName=fmuFile.asFile().getCanonicalPath();
    if (fmuFileName.equals(_fmuFileName)) {
      return;
    }
    _fmuFileName=fmuFileName;
    long modificationTime=new File(fmuFileName).lastModified();
    if (_fmuFileModificationTime == modificationTime) {
      return;
    }
    _fmuFileModificationTime=modificationTime;
    _fmiModelDescription=FMUFile.parseFMUFile(fmuFileName,true);
    if (_fmiModelDescription.nativeLibrary != null) {
      _fmiDoStep=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      _fmiInstantiateSlave=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      try {
        _fmiGetRealStatus=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      }
 catch (      UnsatisfiedLinkError ex) {
        _fmiGetRealStatus=null;
      }
    }
  }
 catch (  IOException ex) {
    throw new IllegalActionException(this,ex,"String_Node_Str" + fmuFileName + "String_Node_Str");
  }
  if (_debugging) {
    _debug("String_Node_Str");
  }
}

Fixed version (ground truth):
/** 
 * Update the parameters listed in the modelDescription.xml file contained in the zipped file named by the <i>fmuFile</i> parameter
 * @exception IllegalActionException If the file named by the<i>fmuFile<i> parameter cannot be unzipped or if there is a problem deleting any pre=existing parameters or creating new parameters.
 * @exception NameDuplicationException If a paramater to be createdhas the same name as a pre-existing parameter.
 */
private void _updateParameters() throws IllegalActionException, NameDuplicationException {
  if (_debugging) {
    _debug("String_Node_Str");
  }
  String fmuFileName=null;
  try {
    fmuFileName=fmuFile.asFile().getCanonicalPath();
    if (fmuFileName.equals(_fmuFileName)) {
      return;
    }
    _fmuFileName=fmuFileName;
    long modificationTime=new File(fmuFileName).lastModified();
    if (_fmuFileModificationTime == modificationTime) {
      return;
    }
    _fmuFileModificationTime=modificationTime;
    _fmiModelDescription=FMUFile.parseFMUFile(fmuFileName,true);
    if (_fmiModelDescription.fmiVersion != null) {
      fmiVersion.setExpression(_fmiModelDescription.fmiVersion);
    }
    if (_fmiModelDescription.nativeLibrary != null) {
      _fmiDoStep=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      _fmiInstantiateSlave=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      try {
        _fmiGetRealStatus=_fmiModelDescription.nativeLibrary.getFunction(_fmiModelDescription.modelIdentifier + "String_Node_Str");
      }
 catch (      UnsatisfiedLinkError ex) {
        _fmiGetRealStatus=null;
      }
    }
    if (_fmiModelDescription.canGetAndSetFMUstate) {
    }
  }
 catch (  IOException ex) {
    throw new IllegalActionException(this,ex,"String_Node_Str" + fmuFileName + "String_Node_Str");
  }
  if (_debugging) {
    _debug("String_Node_Str");
  }
}