Program: 177727
Project: 177727
Buggy source:
@SuppressWarnings("String_Node_Str") public static void main(String[] args) throws Exception {
  Options options=new Options();
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(COLLECTION_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(ID_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(OUTPUT_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(MISSING_OPTION));
  CommandLine cmdline=null;
  CommandLineParser parser=new GnuParser();
  try {
    cmdline=parser.parse(options,args);
  }
 catch (  ParseException exp) {
    System.err.println("String_Node_Str" + exp.getMessage());
    System.exit(-1);
  }
  if (!cmdline.hasOption(COLLECTION_OPTION) || !cmdline.hasOption(ID_OPTION) || !cmdline.hasOption(OUTPUT_OPTION)|| !cmdline.hasOption(MISSING_OPTION)) {
    HelpFormatter formatter=new HelpFormatter();
    formatter.printHelp(ExtractSubcollection.class.getName(),options);
    System.exit(-1);
  }
  String outputFile=cmdline.getOptionValue(OUTPUT_OPTION);
  String collectionPath=cmdline.getOptionValue(COLLECTION_OPTION);
  LongOpenHashSet tweetids=new LongOpenHashSet();
  File tweetidsFile=new File(cmdline.getOptionValue(ID_OPTION));
  if (!tweetidsFile.exists()) {
    System.err.println("String_Node_Str" + tweetidsFile + "String_Node_Str");
    System.exit(-1);
  }
  LOG.info("String_Node_Str" + tweetidsFile);
  FileInputStream fin=new FileInputStream(tweetidsFile);
  BufferedReader br=new BufferedReader(new InputStreamReader(fin));
  String s;
  while ((s=br.readLine()) != null) {
    tweetids.add(Long.parseLong(s));
  }
  br.close();
  fin.close();
  LOG.info("String_Node_Str" + tweetids.size() + "String_Node_Str");
  File file=new File(collectionPath);
  if (!file.exists()) {
    System.err.println("String_Node_Str" + file + "String_Node_Str");
    System.exit(-1);
  }
  LongOpenHashSet seen=new LongOpenHashSet();
  Writer out=new BufferedWriter(new OutputStreamWriter(new FileOutputStream(outputFile),"String_Node_Str"));
  StatusStream stream=new JsonStatusCorpusReader(file);
  Status status;
  while ((status=stream.next()) != null) {
    if (tweetids.contains(status.getId()) && !seen.contains(status.getId())) {
      out.write(status.getJsonObject().toString() + "String_Node_Str");
      seen.add(status.getId());
    }
  }
  stream.close();
  out.close();
  LOG.info("String_Node_Str" + seen.size() + "String_Node_Str");
  LOG.info("String_Node_Str");
  out=new BufferedWriter(new OutputStreamWriter(new FileOutputStream(outputFile),"String_Node_Str"));
  LongIterator iter=tweetids.iterator();
  while (iter.hasNext()) {
    long t=iter.nextLong();
    if (!seen.contains(t)) {
      out.write(t + "String_Node_Str");
    }
  }
  out.close();
  LOG.info("String_Node_Str");
}

Fixed version (ground truth):
@SuppressWarnings("String_Node_Str") public static void main(String[] args) throws Exception {
  Options options=new Options();
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(COLLECTION_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(ID_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(OUTPUT_OPTION));
  options.addOption(OptionBuilder.withArgName("String_Node_Str").hasArg().withDescription("String_Node_Str").create(MISSING_OPTION));
  CommandLine cmdline=null;
  CommandLineParser parser=new GnuParser();
  try {
    cmdline=parser.parse(options,args);
  }
 catch (  ParseException exp) {
    System.err.println("String_Node_Str" + exp.getMessage());
    System.exit(-1);
  }
  if (!cmdline.hasOption(COLLECTION_OPTION) || !cmdline.hasOption(ID_OPTION) || !cmdline.hasOption(OUTPUT_OPTION)|| !cmdline.hasOption(MISSING_OPTION)) {
    HelpFormatter formatter=new HelpFormatter();
    formatter.printHelp(ExtractSubcollection.class.getName(),options);
    System.exit(-1);
  }
  String outputFile=cmdline.getOptionValue(OUTPUT_OPTION);
  String missingFile=cmdline.getOptionValue(MISSING_OPTION);
  String collectionPath=cmdline.getOptionValue(COLLECTION_OPTION);
  LongOpenHashSet tweetids=new LongOpenHashSet();
  File tweetidsFile=new File(cmdline.getOptionValue(ID_OPTION));
  if (!tweetidsFile.exists()) {
    System.err.println("String_Node_Str" + tweetidsFile + "String_Node_Str");
    System.exit(-1);
  }
  LOG.info("String_Node_Str" + tweetidsFile);
  FileInputStream fin=new FileInputStream(tweetidsFile);
  BufferedReader br=new BufferedReader(new InputStreamReader(fin));
  String s;
  while ((s=br.readLine()) != null) {
    tweetids.add(Long.parseLong(s));
  }
  br.close();
  fin.close();
  LOG.info("String_Node_Str" + tweetids.size() + "String_Node_Str");
  File file=new File(collectionPath);
  if (!file.exists()) {
    System.err.println("String_Node_Str" + file + "String_Node_Str");
    System.exit(-1);
  }
  LongOpenHashSet seen=new LongOpenHashSet();
  Writer out=new BufferedWriter(new OutputStreamWriter(new FileOutputStream(outputFile),"String_Node_Str"));
  StatusStream stream=new JsonStatusCorpusReader(file);
  Status status;
  while ((status=stream.next()) != null) {
    if (tweetids.contains(status.getId()) && !seen.contains(status.getId())) {
      out.write(status.getJsonObject().toString() + "String_Node_Str");
      seen.add(status.getId());
    }
  }
  stream.close();
  out.close();
  LOG.info("String_Node_Str" + seen.size() + "String_Node_Str");
  LOG.info("String_Node_Str");
  out=new BufferedWriter(new OutputStreamWriter(new FileOutputStream(missingFile),"String_Node_Str"));
  LongIterator iter=tweetids.iterator();
  while (iter.hasNext()) {
    long t=iter.nextLong();
    if (!seen.contains(t)) {
      out.write(t + "String_Node_Str");
    }
  }
  out.close();
  LOG.info("String_Node_Str");
}