Program: 96122
Project: 96122
Buggy source:
public void refreshSampleInfo(String schemaName){
  ResultSet rs;
  TableUniqueName metaNameTable=getMetaNameTableName(schemaName);
  TableUniqueName metaSizeTable=getMetaSizeTableName(schemaName);
  try {
    String sql=String.format("String_Node_Str" + "String_Node_Str",metaNameTable);
    rs=getMetaDbms().executeQuery(sql);
    while (rs.next()) {
      String originalSchemaName=rs.getString(1);
      String originalTabName=rs.getString(2);
      String sampleSchemaName=rs.getString(3);
      String sampleTabName=rs.getString(4);
      String sampleType=rs.getString(5);
      double samplingRatio=rs.getDouble(6);
      String columnNamesString=rs.getString(7);
      List<String> columnNames=(columnNamesString.length() == 0) ? new ArrayList<String>() : Arrays.asList(columnNamesString.split("String_Node_Str"));
      TableUniqueName originalTable=TableUniqueName.uname(originalSchemaName,originalTabName);
      if (!sampleNameMeta.containsKey(originalTable)) {
        sampleNameMeta.put(originalTable,new HashMap<SampleParam,TableUniqueName>());
      }
      sampleNameMeta.get(originalTable).put(new SampleParam(originalTable,sampleType,samplingRatio,columnNames),TableUniqueName.uname(sampleSchemaName,sampleTabName));
    }
    rs.close();
    sql=String.format("String_Node_Str" + "String_Node_Str",metaSizeTable);
    rs=getMetaDbms().executeQuery(sql);
    while (rs.next()) {
      String sampleSchemaName=rs.getString(1);
      String sampleTabName=rs.getString(2);
      Long sampleSize=rs.getLong(3);
      Long originalTableSize=rs.getLong(4);
      sampleSizeMeta.put(TableUniqueName.uname(sampleSchemaName,sampleTabName),new SampleSizeInfo(sampleSize,originalTableSize));
    }
    rs.close();
    tableToColumnNames.clear();
    List<Pair<String,String>> tabCols=vc.getDbms().getAllTableAndColumns(schemaName);
    for (    Pair<String,String> tabCol : tabCols) {
      TableUniqueName tableUName=TableUniqueName.uname(schemaName,tabCol.getLeft());
      if (!tableToColumnNames.containsKey(tableUName)) {
        tableToColumnNames.put(tableUName,new ArrayList<String>());
      }
      tableToColumnNames.get(tableUName).add(tabCol.getRight());
    }
  }
 catch (  VerdictException|SQLException e) {
  }
  VerdictLogger.debug(this,"String_Node_Str");
}

Fixed version (ground truth):
public void refreshSampleInfo(String schemaName){
  ResultSet rs;
  TableUniqueName metaNameTable=getMetaNameTableName(schemaName);
  TableUniqueName metaSizeTable=getMetaSizeTableName(schemaName);
  try {
    tableToColumnNames.clear();
    List<Pair<String,String>> tabCols=vc.getDbms().getAllTableAndColumns(schemaName);
    for (    Pair<String,String> tabCol : tabCols) {
      TableUniqueName tableUName=TableUniqueName.uname(schemaName,tabCol.getLeft());
      if (!tableToColumnNames.containsKey(tableUName)) {
        tableToColumnNames.put(tableUName,new ArrayList<String>());
      }
      tableToColumnNames.get(tableUName).add(tabCol.getRight());
    }
    if (tableToColumnNames.containsKey(metaNameTable)) {
      rs=SingleRelation.from(vc,metaNameTable).select("String_Node_Str").collectResultSet();
      while (rs.next()) {
        String originalSchemaName=rs.getString(1);
        String originalTabName=rs.getString(2);
        String sampleSchemaName=rs.getString(3);
        String sampleTabName=rs.getString(4);
        String sampleType=rs.getString(5);
        double samplingRatio=rs.getDouble(6);
        String columnNamesString=rs.getString(7);
        List<String> columnNames=(columnNamesString.length() == 0) ? new ArrayList<String>() : Arrays.asList(columnNamesString.split("String_Node_Str"));
        TableUniqueName originalTable=TableUniqueName.uname(originalSchemaName,originalTabName);
        if (!sampleNameMeta.containsKey(originalTable)) {
          sampleNameMeta.put(originalTable,new HashMap<SampleParam,TableUniqueName>());
        }
        sampleNameMeta.get(originalTable).put(new SampleParam(originalTable,sampleType,samplingRatio,columnNames),TableUniqueName.uname(sampleSchemaName,sampleTabName));
      }
      rs.close();
    }
    if (tableToColumnNames.containsKey(metaSizeTable)) {
      rs=SingleRelation.from(vc,metaSizeTable).select("String_Node_Str").collectResultSet();
      while (rs.next()) {
        String sampleSchemaName=rs.getString(1);
        String sampleTabName=rs.getString(2);
        Long sampleSize=rs.getLong(3);
        Long originalTableSize=rs.getLong(4);
        sampleSizeMeta.put(TableUniqueName.uname(sampleSchemaName,sampleTabName),new SampleSizeInfo(sampleSize,originalTableSize));
      }
      rs.close();
    }
  }
 catch (  VerdictException|SQLException e) {
  }
  VerdictLogger.debug(this,"String_Node_Str");
}