Program: 58148
Project: 58148
Buggy source:
@SuppressWarnings("String_Node_Str") public void export(ISet set,String sFileName,EWhichViewToExport eWhichViewToExport,IDType targetIDType){
  ContentVirtualArray contentVA=null;
  StorageVirtualArray storageVA=null;
  ASetBasedDataDomain dataDomain=set.getDataDomain();
  if (eWhichViewToExport == EWhichViewToExport.BUCKET) {
    contentVA=dataDomain.getContentVA(ContentVAType.CONTENT_CONTEXT);
    storageVA=dataDomain.getStorageVA(StorageVAType.STORAGE);
  }
 else   if (eWhichViewToExport == EWhichViewToExport.WHOLE_DATA) {
    contentVA=dataDomain.getContentVA(ContentVAType.CONTENT);
    storageVA=dataDomain.getStorageVA(StorageVAType.STORAGE);
  }
  if (contentVA == null || storageVA == null)   throw new IllegalStateException("String_Node_Str");
  try {
    PrintWriter out=new PrintWriter(new BufferedWriter(new FileWriter(sFileName)));
    out.print("String_Node_Str");
    for (    Integer iStorageIndex : storageVA) {
      out.print(set.get(iStorageIndex).getLabel());
      out.print("String_Node_Str");
    }
    if (contentVA.getGroupList() != null)     out.print("String_Node_Str");
    out.println();
    int cnt=-1;
    int cluster=0;
    int iExample=0;
    int index=0;
    int offset=0;
    String identifier;
    IDMappingManager iDMappingManager=GeneralManager.get().getIDMappingManager();
    for (    Integer iContentIndex : contentVA) {
      if (dataDomain.getDataDomainType().equals("String_Node_Str")) {
        Set<String> setRefSeqIDs=iDMappingManager.getIDAsSet(set.getDataDomain().getContentIDType(),targetIDType,iContentIndex);
        if ((setRefSeqIDs != null && !setRefSeqIDs.isEmpty())) {
          identifier=(String)setRefSeqIDs.toArray()[0];
        }
 else {
          continue;
        }
      }
 else {
        identifier=iDMappingManager.getID(set.getDataDomain().getContentIDType(),targetIDType,iContentIndex);
      }
      out.print(identifier + "String_Node_Str");
      for (      Integer iStorageIndex : storageVA) {
        IStorage storage=set.get(iStorageIndex);
        out.print(storage.getFloat(EDataRepresentation.RAW,iContentIndex));
        out.print("String_Node_Str");
      }
      if (contentVA.getGroupList() != null) {
        if (cnt == contentVA.getGroupList().get(cluster).getNrElements() - 1) {
          offset=offset + contentVA.getGroupList().get(cluster).getNrElements();
          cluster++;
          cnt=0;
        }
 else {
          cnt++;
        }
        iExample=contentVA.getGroupList().get(cluster).getIdxExample();
        out.print(cluster + "String_Node_Str" + iExample+ "String_Node_Str");
        index++;
      }
      out.println();
    }
    if (storageVA.getGroupList() != null) {
      String stClusterNr="String_Node_Str";
      String stClusterRep="String_Node_Str";
      cluster=0;
      cnt=-1;
      for (      Integer iStorageIndex : storageVA) {
        if (cnt == storageVA.getGroupList().get(cluster).getNrElements() - 1) {
          offset=offset + storageVA.getGroupList().get(cluster).getNrElements();
          cluster++;
          cnt=0;
        }
 else {
          cnt++;
        }
        iExample=storageVA.getGroupList().get(cluster).getIdxExample();
        stClusterNr+=cluster + "String_Node_Str";
        stClusterRep+=iExample + "String_Node_Str";
      }
      stClusterNr+="String_Node_Str";
      stClusterRep+="String_Node_Str";
      out.print(stClusterNr);
      out.print(stClusterRep);
    }
    out.close();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
@SuppressWarnings("String_Node_Str") public void export(ISet set,String sFileName,EWhichViewToExport eWhichViewToExport,IDType targetIDType){
  ContentVirtualArray contentVA=null;
  StorageVirtualArray storageVA=null;
  ASetBasedDataDomain dataDomain=set.getDataDomain();
  if (eWhichViewToExport == EWhichViewToExport.BUCKET) {
    contentVA=dataDomain.getContentVA(Set.CONTENT_CONTEXT);
    storageVA=dataDomain.getStorageVA(Set.STORAGE);
  }
 else   if (eWhichViewToExport == EWhichViewToExport.WHOLE_DATA) {
    contentVA=dataDomain.getContentVA(Set.CONTENT);
    storageVA=dataDomain.getStorageVA(Set.STORAGE);
  }
  if (contentVA == null || storageVA == null)   throw new IllegalStateException("String_Node_Str");
  try {
    PrintWriter out=new PrintWriter(new BufferedWriter(new FileWriter(sFileName)));
    out.print("String_Node_Str");
    for (    Integer iStorageIndex : storageVA) {
      out.print(set.get(iStorageIndex).getLabel());
      out.print("String_Node_Str");
    }
    if (contentVA.getGroupList() != null)     out.print("String_Node_Str");
    out.println();
    int cnt=-1;
    int cluster=0;
    int iExample=0;
    int index=0;
    int offset=0;
    String identifier;
    IDMappingManager iDMappingManager=GeneralManager.get().getIDMappingManager();
    for (    Integer iContentIndex : contentVA) {
      if (dataDomain.getDataDomainType().equals("String_Node_Str")) {
        java.util.Set<String> setRefSeqIDs=iDMappingManager.getIDAsSet(set.getDataDomain().getContentIDType(),targetIDType,iContentIndex);
        if ((setRefSeqIDs != null && !setRefSeqIDs.isEmpty())) {
          identifier=(String)setRefSeqIDs.toArray()[0];
        }
 else {
          continue;
        }
      }
 else {
        identifier=iDMappingManager.getID(set.getDataDomain().getContentIDType(),targetIDType,iContentIndex);
      }
      out.print(identifier + "String_Node_Str");
      for (      Integer iStorageIndex : storageVA) {
        IStorage storage=set.get(iStorageIndex);
        out.print(storage.getFloat(EDataRepresentation.RAW,iContentIndex));
        out.print("String_Node_Str");
      }
      if (contentVA.getGroupList() != null) {
        if (cnt == contentVA.getGroupList().get(cluster).getNrElements() - 1) {
          offset=offset + contentVA.getGroupList().get(cluster).getNrElements();
          cluster++;
          cnt=0;
        }
 else {
          cnt++;
        }
        iExample=contentVA.getGroupList().get(cluster).getIdxExample();
        out.print(cluster + "String_Node_Str" + iExample+ "String_Node_Str");
        index++;
      }
      out.println();
    }
    if (storageVA.getGroupList() != null) {
      String stClusterNr="String_Node_Str";
      String stClusterRep="String_Node_Str";
      cluster=0;
      cnt=-1;
      for (      Integer iStorageIndex : storageVA) {
        if (cnt == storageVA.getGroupList().get(cluster).getNrElements() - 1) {
          offset=offset + storageVA.getGroupList().get(cluster).getNrElements();
          cluster++;
          cnt=0;
        }
 else {
          cnt++;
        }
        iExample=storageVA.getGroupList().get(cluster).getIdxExample();
        stClusterNr+=cluster + "String_Node_Str";
        stClusterRep+=iExample + "String_Node_Str";
      }
      stClusterNr+="String_Node_Str";
      stClusterRep+="String_Node_Str";
      out.print(stClusterNr);
      out.print(stClusterRep);
    }
    out.close();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
}