Program: 117731
Project: 117731
Buggy source:
public void refreshInfo(){
  map=getCurrentTopicMap();
  int[] statOptions=TopicMapStatOptions.getAvailableOptions();
  stats=new StringBuilder();
  SimpleLabel statValue=null;
  String statString="String_Node_Str";
  String originalStatString="String_Node_Str";
  String layerName=getCurrentLayerName();
  SimpleLabel layerNameLabel=fieldLabels.get("String_Node_Str");
  if (layerNameLabel != null) {
    layerNameLabel.setText(layerName);
  }
  stats.append(layerName).append("String_Node_Str");
  boolean fillOriginalValues=false;
  if (originalValues == null) {
    originalValues=new HashMap();
    fillOriginalValues=true;
  }
  for (int i=0; i < statOptions.length; i++) {
    try {
      statString="String_Node_Str";
      try {
        if (map != null) {
          statString=map.getStatistics(new TopicMapStatOptions(statOptions[i])).toString();
          if (fillOriginalValues) {
            originalValues.put(statOptions[i],statString);
          }
        }
      }
 catch (      Exception e) {
        e.printStackTrace();
      }
      if (trackChanges) {
        originalStatString=originalValues.get(statOptions[i]).toString();
        stats.append("String_Node_Str").append(originalStatString);
        SimpleLabel originalValue=fieldLabels.get("String_Node_Str" + statOptions[i]);
        if (originalValue != null) {
          originalValue.setText(originalStatString);
        }
      }
      Color statValueColor=Color.BLACK;
      if (trackChanges) {
        try {
          int statInt=Integer.parseInt(statString);
          int originalInt=Integer.parseInt(originalStatString);
          int delta=statInt - originalInt;
          statString=(delta > 0 ? "String_Node_Str" + delta : "String_Node_Str" + delta);
          if (delta > 0)           statValueColor=Color.green.darker();
 else           if (delta < 0)           statValueColor=Color.red.darker();
        }
 catch (        Exception e) {
        }
      }
      stats.append("String_Node_Str").append(statString);
      statValue=fieldLabels.get(statOptions[i]);
      if (statValue != null) {
        statValue.setForeground(statValueColor);
        statValue.setText(statString);
      }
      stats.append("String_Node_Str");
    }
 catch (    Exception e) {
      e.printStackTrace();
    }
  }
}

Fixed version (ground truth):
public void refreshInfo(){
  map=getCurrentTopicMap();
  int[] statOptions=TopicMapStatOptions.getAvailableOptions();
  stats=new StringBuilder();
  SimpleLabel statValue=null;
  String statString="String_Node_Str";
  String originalStatString="String_Node_Str";
  String layerName=getCurrentLayerName();
  SimpleLabel layerNameLabel=fieldLabels.get("String_Node_Str");
  if (layerNameLabel != null) {
    layerNameLabel.setText(layerName);
  }
  stats.append(layerName).append("String_Node_Str");
  boolean fillOriginalValues=false;
  if (originalValues == null) {
    originalValues=new HashMap();
    fillOriginalValues=true;
  }
  for (int i=0; i < statOptions.length; i++) {
    try {
      String statDescriptionString=TopicMapStatOptions.describeStatOption(statOptions[i]);
      stats.append(statDescriptionString);
      statString="String_Node_Str";
      try {
        if (map != null) {
          statString=map.getStatistics(new TopicMapStatOptions(statOptions[i])).toString();
          if (fillOriginalValues) {
            originalValues.put(statOptions[i],statString);
          }
        }
      }
 catch (      Exception e) {
        e.printStackTrace();
      }
      if (trackChanges) {
        originalStatString=originalValues.get(statOptions[i]).toString();
        stats.append("String_Node_Str").append(originalStatString);
        SimpleLabel originalValue=fieldLabels.get("String_Node_Str" + statOptions[i]);
        if (originalValue != null) {
          originalValue.setText(originalStatString);
        }
      }
      Color statValueColor=Color.BLACK;
      if (trackChanges) {
        try {
          int statInt=Integer.parseInt(statString);
          int originalInt=Integer.parseInt(originalStatString);
          int delta=statInt - originalInt;
          statString=(delta > 0 ? "String_Node_Str" + delta : "String_Node_Str" + delta);
          if (delta > 0)           statValueColor=Color.green.darker();
 else           if (delta < 0)           statValueColor=Color.red.darker();
        }
 catch (        Exception e) {
        }
      }
      stats.append("String_Node_Str").append(statString);
      statValue=fieldLabels.get(statOptions[i]);
      if (statValue != null) {
        statValue.setForeground(statValueColor);
        statValue.setText(statString);
      }
      stats.append("String_Node_Str");
    }
 catch (    Exception e) {
      e.printStackTrace();
    }
  }
}