Program: 81062
Project: 81062
Buggy source:
public static void startProgram(String[] args){
  boolean doUpdate=true;
  boolean checkPax=true;
  boolean checkShowclix=true;
  boolean checkTwitter=true;
  boolean autoStart=false;
  boolean commandLine=false;
  boolean savePrefs=false;
  if (args.length > 0) {
    System.out.println("String_Node_Str");
    argsCycle:     for (int a=0; a < args.length; a++) {
      System.out.println("String_Node_Str" + a + "String_Node_Str"+ args[a]);
switch (args[a].toLowerCase()) {
case "String_Node_Str":
        doUpdate=false;
      break;
case "String_Node_Str":
    NotificationHandler.setLastNotificationID(args[a + 1]);
  break;
case "String_Node_Str":
NotificationHandler.setLastNotificationID("String_Node_Str");
break;
case "String_Node_Str":
KeyboardHandler.setTypeLink(true);
break;
case "String_Node_Str":
Email.setUsername(args[a + 1]);
System.out.println("String_Node_Str" + Email.getUsername());
break;
case "String_Node_Str":
Email.setPassword(args[a + 1]);
System.out.println("String_Node_Str");
break;
case "String_Node_Str":
for (int b=a + 1; b < args.length; b++) {
if (args[b].startsWith("String_Node_Str")) {
a=b - 1;
continue argsCycle;
}
System.out.println("String_Node_Str" + args[b]);
Email.addEmailAddress(args[b]);
}
break;
case "String_Node_Str":
Browser.setExpo(args[a + 1]);
System.out.println("String_Node_Str" + Browser.getExpo());
break;
case "String_Node_Str":
if (!checkShowclix && !checkTwitter) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkPax=false;
break;
case "String_Node_Str":
if (!checkPax && !checkTwitter) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkShowclix=false;
break;
case "String_Node_Str":
if (!checkPax && !checkShowclix) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkTwitter=false;
break;
case "String_Node_Str":
System.out.println("String_Node_Str");
Audio.setPlayAlarm(true);
break;
case "String_Node_Str":
Checker.setRefreshTime(Integer.getInteger(args[a + 1],15));
System.out.println("String_Node_Str" + Checker.getRefreshTime());
break;
case "String_Node_Str":
autoStart=true;
break;
case "String_Node_Str":
commandLine=true;
break;
case "String_Node_Str":
try {
String key=args[a + 1];
String value=args[a + 2];
Email.setProperty(key,value);
}
 catch (Exception e) {
ErrorDisplay.showErrorWindow("String_Node_Str","String_Node_Str",e);
}
break;
case "String_Node_Str":
savePrefs=true;
break;
default :
if (args[a].startsWith("String_Node_Str")) {
System.out.println("String_Node_Str" + args[a]);
}
break;
}
}
if (autoStart && !checkPax && !checkShowclix) {
System.out.println("String_Node_Str");
System.exit(0);
}
}
System.out.println("String_Node_Str");
if (autoStart) {
if (checkPax) {
TicketChecker.addChecker(new CheckPaxsite());
}
if (checkShowclix) {
TicketChecker.addChecker(new CheckShowclix());
}
if (checkTwitter) {
TicketChecker.addChecker(new CheckTwitter());
}
}
if (commandLine) {
ErrorDisplay.setCommandLine(true);
if (doUpdate) {
UpdateHandler.loadVersionNotes();
UpdateHandler.autoUpdate(args);
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
if (!autoStart) {
Checker.commandLineSettingsInput();
}
if (savePrefs) {
SettingsHandler.setSaveAll(true,true,true,true,true,true,true,true);
SettingsHandler.saveAllPrefs();
}
Checker.startCommandLineWebsiteChecking();
return;
}
KeyboardHandler.init();
if (doUpdate) {
UpdateHandler.loadVersionNotes();
UpdateHandler.checkUpdate(args);
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
if (autoStart) {
Checker.startCheckingWebsites();
}
 else {
NotificationHandler.loadNotifications();
setup=new Setup();
NotificationHandler.showNewNotifications();
}
Checker.loadAlertIcon();
}

Fixed version (ground truth):
public static void startProgram(String[] args){
  boolean doUpdate=true;
  boolean checkPax=true;
  boolean checkShowclix=true;
  boolean checkTwitter=true;
  boolean autoStart=false;
  boolean commandLine=false;
  boolean savePrefs=false;
  if (args.length > 0) {
    System.out.println("String_Node_Str");
    argsCycle:     for (int a=0; a < args.length; a++) {
      System.out.println("String_Node_Str" + a + "String_Node_Str"+ args[a]);
switch (args[a].toLowerCase()) {
case "String_Node_Str":
        doUpdate=false;
      break;
case "String_Node_Str":
    NotificationHandler.setLastNotificationID(args[a + 1]);
  break;
case "String_Node_Str":
NotificationHandler.setLastNotificationID("String_Node_Str");
break;
case "String_Node_Str":
KeyboardHandler.setTypeLink(true);
break;
case "String_Node_Str":
Email.setUsername(args[a + 1]);
System.out.println("String_Node_Str" + Email.getUsername());
break;
case "String_Node_Str":
Email.setPassword(args[a + 1]);
System.out.println("String_Node_Str");
break;
case "String_Node_Str":
for (int b=a + 1; b < args.length; b++) {
if (args[b].startsWith("String_Node_Str")) {
a=b - 1;
continue argsCycle;
}
System.out.println("String_Node_Str" + args[b]);
Email.addEmailAddress(args[b]);
}
break;
case "String_Node_Str":
Browser.setExpo(args[a + 1]);
System.out.println("String_Node_Str" + Browser.getExpo());
break;
case "String_Node_Str":
if (!checkShowclix && !checkTwitter) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkPax=false;
break;
case "String_Node_Str":
if (!checkPax && !checkTwitter) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkShowclix=false;
break;
case "String_Node_Str":
if (!checkPax && !checkShowclix) {
System.out.println("String_Node_Str");
break;
}
System.out.println("String_Node_Str");
checkTwitter=false;
break;
case "String_Node_Str":
System.out.println("String_Node_Str");
Audio.setPlayAlarm(true);
break;
case "String_Node_Str":
Checker.setRefreshTime(Integer.getInteger(args[a + 1],15));
System.out.println("String_Node_Str" + Checker.getRefreshTime());
break;
case "String_Node_Str":
autoStart=true;
break;
case "String_Node_Str":
commandLine=true;
break;
case "String_Node_Str":
try {
String key=args[a + 1];
String value=args[a + 2];
Email.setProperty(key,value);
}
 catch (Exception e) {
ErrorDisplay.showErrorWindow("String_Node_Str","String_Node_Str",e);
}
break;
case "String_Node_Str":
savePrefs=true;
break;
default :
if (args[a].startsWith("String_Node_Str")) {
System.out.println("String_Node_Str" + args[a]);
}
break;
}
}
if (autoStart && !checkPax && !checkShowclix) {
System.out.println("String_Node_Str");
System.exit(0);
}
}
System.out.println("String_Node_Str");
if (autoStart) {
if (checkPax) {
TicketChecker.addChecker(new CheckPaxsite());
}
if (checkShowclix) {
TicketChecker.addChecker(new CheckShowclix());
}
if (checkTwitter) {
TicketChecker.addChecker(new CheckTwitter());
}
}
if (commandLine) {
ErrorDisplay.setCommandLine(true);
if (doUpdate) {
UpdateHandler.loadVersionNotes();
UpdateHandler.autoUpdate(args);
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
if (!autoStart) {
Checker.commandLineSettingsInput();
}
if (savePrefs) {
SettingsHandler.setSaveAll(true,true,true,true,true,true,true,true);
SettingsHandler.saveAllPrefs();
}
Checker.startCommandLineWebsiteChecking();
return;
}
start=new paxchecker.gui.Startup();
KeyboardHandler.init();
if (doUpdate) {
start.setStatus("String_Node_Str");
UpdateHandler.loadVersionNotes();
UpdateHandler.checkUpdate(args);
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
if (autoStart) {
Checker.startCheckingWebsites();
}
 else {
start.setStatus("String_Node_Str");
NotificationHandler.loadNotifications();
start.dispose();
setup=new Setup();
NotificationHandler.showNewNotifications();
}
Checker.loadAlertIcon();
}