Program: 189406
Project: 189406
Buggy source:
/** 
 * Display vital statistic information about vireo and allow access to some administrator features.
 */
@Security(RoleType.ADMINISTRATOR) public static void controlPanel(){
  Runtime runtime=Runtime.getRuntime();
  String javaVersion=java.lang.System.getProperty("String_Node_Str");
  String osName=java.lang.System.getProperty("String_Node_Str");
  String osArch=java.lang.System.getProperty("String_Node_Str");
  String osVersion=java.lang.System.getProperty("String_Node_Str");
  int availableProcessors=runtime.availableProcessors();
  long maximumMemory=runtime.maxMemory() / 1024 / 1024;
  long allocatedMemory=runtime.totalMemory() / 1024 / 1024;
  long freeMemory=runtime.freeMemory() / 1024 / 1024;
  long usedMemory=allocatedMemory - freeMemory / 1024 / 1024;
  String playMode=Play.mode.name();
  String frameworkId=Play.id;
  Date startedAt=new Date(Play.startedAt);
  String httpAddress=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String httpPort=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String httpPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String logLevel=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String db=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String appPath=Play.applicationPath.getPath();
  String attachmentsPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String indexPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailMode=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailHost=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailUser=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailPass=Play.configuration.getProperty("String_Node_Str");
  String mailChannel=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailFrom=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailReply=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  if (mailPass != null) {
    mailPass=mailPass.replaceAll("String_Node_Str","String_Node_Str");
  }
 else {
    mailPass="String_Node_Str";
  }
  long personTotal=personRepo.findPersonsTotal();
  long submissionTotal=subRepo.findSubmissionsTotal();
  long actionLogTotal=subRepo.findActionLogsTotal();
  String indexImpl=indexer.getClass().getSimpleName();
  String indexJob="String_Node_Str";
  if (indexer.isJobRunning()) {
    indexJob=indexer.getCurrentJobLabel();
    float complete=indexer.getCurrentJobProgress() / indexer.getCurrentJobTotal();
    indexJob+="String_Node_Str" + complete + "String_Node_Str";
  }
  render(javaVersion,osName,osArch,osVersion,availableProcessors,maximumMemory,allocatedMemory,freeMemory,usedMemory,playMode,frameworkId,httpAddress,httpPort,httpPath,startedAt,appPath,logLevel,db,attachmentsPath,indexPath,mailMode,mailHost,mailUser,mailPass,mailChannel,mailFrom,mailReply,personTotal,submissionTotal,actionLogTotal,indexImpl,indexJob);
}

Fixed version (ground truth):
/** 
 * Display vital statistic information about vireo and allow access to some administrator features.
 */
@Security(RoleType.ADMINISTRATOR) public static void controlPanel(){
  Runtime runtime=Runtime.getRuntime();
  String javaVersion=java.lang.System.getProperty("String_Node_Str");
  String osName=java.lang.System.getProperty("String_Node_Str");
  String osArch=java.lang.System.getProperty("String_Node_Str");
  String osVersion=java.lang.System.getProperty("String_Node_Str");
  int availableProcessors=runtime.availableProcessors();
  long maximumMemory=runtime.maxMemory() / 1024 / 1024;
  long allocatedMemory=runtime.totalMemory() / 1024 / 1024;
  long freeMemory=runtime.freeMemory() / 1024 / 1024;
  long usedMemory=allocatedMemory - freeMemory / 1024 / 1024;
  String playMode=Play.mode.name();
  String frameworkId=Play.id;
  Date startedAt=new Date(Play.startedAt);
  String httpAddress=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String httpPort=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String httpPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String logLevel=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String db=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String appPath=Play.applicationPath.getPath();
  String attachmentsPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String indexPath=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailMode=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailHost=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailUser=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailPass=Play.configuration.getProperty("String_Node_Str");
  String mailChannel=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailFrom=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  String mailReply=Play.configuration.getProperty("String_Node_Str","String_Node_Str");
  if (mailPass != null) {
    mailPass=mailPass.replaceAll("String_Node_Str","String_Node_Str");
  }
 else {
    mailPass="String_Node_Str";
  }
  long personTotal=personRepo.findPersonsTotal();
  long submissionTotal=subRepo.findSubmissionsTotal();
  long actionLogTotal=subRepo.findActionLogsTotal();
  String indexImpl=indexer.getClass().getSimpleName();
  String indexJob="String_Node_Str";
  if (indexer.isJobRunning()) {
    indexJob=indexer.getCurrentJobLabel();
    float complete=0;
    if (indexer.getCurrentJobTotal() > 0)     complete=indexer.getCurrentJobProgress() / indexer.getCurrentJobTotal();
    indexJob+="String_Node_Str" + complete + "String_Node_Str";
  }
  render(javaVersion,osName,osArch,osVersion,availableProcessors,maximumMemory,allocatedMemory,freeMemory,usedMemory,playMode,frameworkId,httpAddress,httpPort,httpPath,startedAt,appPath,logLevel,db,attachmentsPath,indexPath,mailMode,mailHost,mailUser,mailPass,mailChannel,mailFrom,mailReply,personTotal,submissionTotal,actionLogTotal,indexImpl,indexJob);
}