Program: 73184
Project: 73184
Buggy source:
/** 
 * Report that a manager state has changed. This method is called by the specified manager.
 * @param manager The manager calling this method.
 */
public void managerStateChanged(Manager manager){
  Manager.State newState=manager.getState();
  if (newState != _previousState) {
    if (newState == Manager.IDLE || _areThereActiveErrorHighlights()) {
      ChangeRequest request=_getClearAllErrorHighlightsChangeRequest();
      manager.requestChange(request);
    }
    String statusMessage=manager.getStatusMessage();
    if (statusMessage == _previousStatusMessage) {
      _previousStatusMessage=statusMessage;
      statusMessage="String_Node_Str";
    }
 else {
      _previousStatusMessage=statusMessage;
    }
    if (!statusMessage.isEmpty()) {
      statusMessage="String_Node_Str" + statusMessage;
    }
 else {
      statusMessage="String_Node_Str";
    }
    getFrame().report(manager.getState().getDescription() + statusMessage);
    _previousState=newState;
    if (newState == Manager.INITIALIZING || newState == Manager.ITERATING || newState == Manager.PREINITIALIZING || newState == Manager.RESOLVING_TYPES || newState == Manager.WRAPPING_UP || newState == Manager.EXITING) {
      ((ButtonFigureAction)_runModelAction).setSelected(true);
      ((ButtonFigureAction)_pauseModelAction).setSelected(false);
      ((ButtonFigureAction)_stopModelAction).setSelected(false);
    }
 else     if (newState == Manager.PAUSED) {
      ((ButtonFigureAction)_runModelAction).setSelected(false);
      ((ButtonFigureAction)_pauseModelAction).setSelected(true);
      ((ButtonFigureAction)_stopModelAction).setSelected(false);
    }
 else {
      ((ButtonFigureAction)_runModelAction).setSelected(false);
      ((ButtonFigureAction)_pauseModelAction).setSelected(false);
      ((ButtonFigureAction)_stopModelAction).setSelected(true);
    }
  }
}

Fixed version (ground truth):
/** 
 * Report that a manager state has changed. This method is called by the specified manager.
 * @param manager The manager calling this method.
 */
public void managerStateChanged(Manager manager){
  Manager.State newState=manager.getState();
  if (newState != _previousState) {
    if (newState == Manager.IDLE || _areThereActiveErrorHighlights()) {
      ChangeRequest request=_getClearAllErrorHighlightsChangeRequest();
      manager.requestChange(request);
    }
    String statusMessage=manager.getStatusMessage();
    if (statusMessage.equals(_previousStatusMessage)) {
      _previousStatusMessage=statusMessage;
      statusMessage="String_Node_Str";
    }
 else {
      _previousStatusMessage=statusMessage;
    }
    if (!statusMessage.isEmpty()) {
      statusMessage="String_Node_Str" + statusMessage;
    }
 else {
      statusMessage="String_Node_Str";
    }
    getFrame().report(manager.getState().getDescription() + statusMessage);
    _previousState=newState;
    if (newState == Manager.INITIALIZING || newState == Manager.ITERATING || newState == Manager.PREINITIALIZING || newState == Manager.RESOLVING_TYPES || newState == Manager.WRAPPING_UP || newState == Manager.EXITING) {
      ((ButtonFigureAction)_runModelAction).setSelected(true);
      ((ButtonFigureAction)_pauseModelAction).setSelected(false);
      ((ButtonFigureAction)_stopModelAction).setSelected(false);
    }
 else     if (newState == Manager.PAUSED) {
      ((ButtonFigureAction)_runModelAction).setSelected(false);
      ((ButtonFigureAction)_pauseModelAction).setSelected(true);
      ((ButtonFigureAction)_stopModelAction).setSelected(false);
    }
 else {
      ((ButtonFigureAction)_runModelAction).setSelected(false);
      ((ButtonFigureAction)_pauseModelAction).setSelected(false);
      ((ButtonFigureAction)_stopModelAction).setSelected(true);
    }
  }
}