Program: 184153
Project: 184153
Buggy source:
public static void main(String[] args){
  if (System.getProperty(paramEnvironmentXSize) != null)   environXsize=Integer.parseInt(System.getProperty(paramEnvironmentXSize));
  if (System.getProperty(paramEnvironmentYSize) != null)   environYsize=Integer.parseInt(System.getProperty(paramEnvironmentYSize));
  if (System.getProperty(paramK) != null)   K=Integer.parseInt(System.getProperty(paramK));
  if (System.getProperty(paramNumberDynamicCycles) != null)   dynamicCycleCount=Integer.parseInt(System.getProperty(paramNumberDynamicCycles));
  if (System.getProperty(paramDatasetRange) != null) {
    String range=System.getProperty(paramDatasetRange);
    if (range.equals("String_Node_Str")) {
      yf.startYear=2003;
      mf.startMonth=9;
      df.startDay=24;
      yf.endYear=2003;
      mf.endMonth=10;
      df.endDay=31;
      hf.startHour=12;
      hf.endHour=18;
    }
 else     if (range.equals("String_Node_Str")) {
      yf=null;
      mf=null;
      df=null;
      hf=null;
    }
 else     System.err.println("String_Node_Str" + paramDatasetRange);
  }
  if (System.getProperty(paramTimesliceLength) != null)   sliceUsed=Long.parseLong(System.getProperty(paramTimesliceLength));
  Environment env=new Environment(new Dimension(environXsize,environYsize));
  env.resetUniqueUsersSeen();
  env.resetRegionUsage();
  DataLoader loader=new DataLoader(sliceUsed,yf,mf,df,hf,environXsize,environYsize);
  FileWriter outFile=null;
  if (debugWriteOutAnonolyResults)   outFile=getOutFileWriter();
  int totalRegionCount=0;
  int cycle=0;
  while (true) {
    env.resetUniqueUsersSeen();
    env.resetDataReadingCounts();
    int result=loader.addDataReadings(env);
    if (result == -1) {
      log.severe("String_Node_Str");
      break;
    }
 else     if (result == 0) {
      log.info("String_Node_Str");
      continue;
    }
    if (dynamicCycleCount == -1 && env.getRegions().size() == 1)     while (env.getUniqueUserCount() < K) {
      log.info("String_Node_Str");
      result=loader.addDataReadings(env);
      if (result == -1) {
        log.severe("String_Node_Str");
        break;
      }
    }
    log.info("String_Node_Str");
    log.info("String_Node_Str" + cycle++);
    if (debugPrintTessellationEveryCycle)     printImage(env,cycle);
    if (dynamicCycleCount == -1 || cycle < dynamicCycleCount) {
      env.orderRegions(OptimialityRanking);
      env.printRegionOrdering();
      env.resetRegionUsage();
      log.info("String_Node_Str");
      log.info("String_Node_Str");
      runAlgorithm(env);
    }
 else     env.printRegionOrdering();
    totalRegionCount+=env.getRegions().size();
    if (debugWriteOutAnonolyResults) {
      try {
        outFile.write(Long.toString(loader.getCurrentTimesliceStart()));
        outFile.write("String_Node_Str");
        outFile.write(Long.toString(loader.getCurrentTimesliceEnd()));
        outFile.write("String_Node_Str");
        StringBuilder b=new StringBuilder();
        for (        Region reg : env.getRegions()) {
          b.append(reg.getUniqueUsersCount()).append('|').append(reg.getDataReadingCount()).append('|');
          b.append(((RectilinearPixelPoly)reg.getPolyImpl()).getArea()).append('>');
        }
        b.deleteCharAt(b.length() - 1);
        b.append('\n');
        outFile.write(b.toString());
      }
 catch (      IOException e) {
        e.printStackTrace();
      }
    }
  }
  log.severe("String_Node_Str" + totalRegionCount);
  if (debugWriteOutAnonolyResults) {
    try {
      outFile.close();
      RandomAccessFile f=new RandomAccessFile(new File(getFileName()),"String_Node_Str");
      while (f.readLine().equals("String_Node_Str") == false)       ;
      f.writeBytes("String_Node_Str");
      f.writeBytes(Integer.toString(totalRegionCount));
      f.writeChar('\n');
      f.close();
    }
 catch (    IOException e) {
      e.printStackTrace();
    }
  }
}

Fixed version (ground truth):
public static void main(String[] args){
  if (System.getProperty(paramEnvironmentXSize) != null)   environXsize=Integer.parseInt(System.getProperty(paramEnvironmentXSize));
  if (System.getProperty(paramEnvironmentYSize) != null)   environYsize=Integer.parseInt(System.getProperty(paramEnvironmentYSize));
  if (System.getProperty(paramK) != null)   K=Integer.parseInt(System.getProperty(paramK));
  if (System.getProperty(paramNumberDynamicCycles) != null)   minimumCycleCount=Integer.parseInt(System.getProperty(paramNumberDynamicCycles));
  if (System.getProperty(paramDatasetRange) != null) {
    String range=System.getProperty(paramDatasetRange);
    if (range.equals("String_Node_Str")) {
      yf.startYear=2003;
      mf.startMonth=9;
      df.startDay=24;
      yf.endYear=2003;
      mf.endMonth=10;
      df.endDay=31;
      hf.startHour=12;
      hf.endHour=18;
    }
 else     if (range.equals("String_Node_Str")) {
      yf=null;
      mf=null;
      df=null;
      hf=null;
    }
 else     System.err.println("String_Node_Str" + paramDatasetRange);
  }
  if (System.getProperty(paramTimesliceLength) != null)   sliceUsed=Long.parseLong(System.getProperty(paramTimesliceLength));
  Environment env=new Environment(new Dimension(environXsize,environYsize));
  env.resetUniqueUsersSeen();
  env.resetRegionUsage();
  DataLoader loader=new DataLoader(sliceUsed,yf,mf,df,hf,environXsize,environYsize);
  FileWriter outFile=null;
  if (debugWriteOutAnonolyResults)   outFile=getOutFileWriter();
  int totalRegionCount=0;
  int cycle=0;
  while (true) {
    env.resetUniqueUsersSeen();
    env.resetDataReadingCounts();
    int result=loader.addDataReadings(env);
    if (result == -1) {
      log.severe("String_Node_Str");
      break;
    }
 else     if (result == 0) {
      log.info("String_Node_Str");
      continue;
    }
    if (minimumCycleCount == -1 && env.getRegions().size() == 1)     while (env.getUniqueUserCount() < K) {
      log.info("String_Node_Str");
      result=loader.addDataReadings(env);
      if (result == -1) {
        log.severe("String_Node_Str");
        break;
      }
    }
    log.info("String_Node_Str");
    log.info("String_Node_Str" + cycle++);
    if (debugPrintTessellationEveryCycle)     printImage(env,cycle);
    if (minimumCycleCount == -1 || cycle < minimumCycleCount || env.getRegions().size() > minimumRequiredStaticRegions) {
      env.orderRegions(OptimialityRanking);
      env.printRegionOrdering();
      env.resetRegionUsage();
      log.info("String_Node_Str");
      log.info("String_Node_Str");
      runAlgorithm(env);
    }
 else     env.printRegionOrdering();
    totalRegionCount+=env.getRegions().size();
    if (debugWriteOutAnonolyResults) {
      try {
        outFile.write(Long.toString(loader.getCurrentTimesliceStart()));
        outFile.write("String_Node_Str");
        outFile.write(Long.toString(loader.getCurrentTimesliceEnd()));
        outFile.write("String_Node_Str");
        StringBuilder b=new StringBuilder();
        for (        Region reg : env.getRegions()) {
          b.append(reg.getUniqueUsersCount()).append('|').append(reg.getDataReadingCount()).append('|');
          b.append(((RectilinearPixelPoly)reg.getPolyImpl()).getArea()).append('>');
        }
        b.deleteCharAt(b.length() - 1);
        b.append('\n');
        outFile.write(b.toString());
      }
 catch (      IOException e) {
        e.printStackTrace();
      }
    }
  }
  log.severe("String_Node_Str" + totalRegionCount);
  if (debugWriteOutAnonolyResults) {
    try {
      outFile.close();
      RandomAccessFile f=new RandomAccessFile(new File(getFileName()),"String_Node_Str");
      while (f.readLine().equals("String_Node_Str") == false)       ;
      f.writeBytes("String_Node_Str");
      f.writeBytes(Integer.toString(totalRegionCount));
      f.writeChar('\n');
      f.close();
    }
 catch (    IOException e) {
      e.printStackTrace();
    }
  }
}