Program: 81004
Project: 81004
Buggy source:
public static void setupProgram(String[] args){
  boolean doUpdate=PreferenceHandler.getBooleanPreference(Preference.TYPES.LOAD_UPDATES);
  boolean checkPax=true;
  boolean checkShowclix=true;
  boolean checkTwitter=true;
  boolean verifyShowclix=false;
  boolean autoStart=false;
  boolean savePrefs=false;
  String[] twitterTokens=new String[4];
  CheckSetup.addHandle("String_Node_Str");
  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":
verifyShowclix=true;
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":
String twitterHandle=args[a + 1];
CheckSetup.addHandle(twitterHandle);
case "String_Node_Str":
System.out.println("String_Node_Str");
Audio.setPlayAlarm(true);
break;
case "String_Node_Str":
CheckSetup.setRefreshTime(Integer.getInteger(args[a + 1],15));
System.out.println("String_Node_Str" + CheckSetup.getRefreshTime());
break;
case "String_Node_Str":
autoStart=true;
break;
case "String_Node_Str":
enableCommandLine();
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;
case "String_Node_Str":
twitterTokens[0]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[1]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[2]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[3]=args[a + 1];
break;
default :
if (args[a].startsWith("String_Node_Str")) {
System.out.println("String_Node_Str" + args[a]);
}
break;
}
}
if (autoStart && !checkPax && !checkShowclix&& !checkTwitter) {
System.out.println("String_Node_Str");
System.exit(0);
}
}
if (!PreferenceHandler.getBooleanPreference(Preference.TYPES.LOAD_NOTIFICATIONS)) {
NotificationHandler.setLastNotificationID("String_Node_Str");
}
if (twitterTokens[0] != null) {
TwitterReader.setKeys(twitterTokens[0],twitterTokens[1],twitterTokens[2],twitterTokens[3]);
TwitterReader.init();
}
if (!TwitterReader.isInitialized()) {
if (PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_KEY) != null) {
System.out.println("String_Node_Str");
try {
TwitterReader.setKeys(Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_KEY)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_SECRET)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_APP_KEY)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_APP_SECRET)));
}
 catch (Exception exception) {
System.out.println("String_Node_Str");
}
TwitterReader.init();
}
 else {
System.out.println("String_Node_Str");
}
}
System.out.println("String_Node_Str");
if (autoStart) {
if (checkPax) {
TicketChecker.addChecker(new CheckPaxsite());
}
if (checkShowclix) {
CheckShowclix c=new CheckShowclix();
if (checkShowclix) {
c.enablePageFiltering();
}
TicketChecker.addChecker(c);
}
if (checkTwitter && TwitterReader.isInitialized()) {
CheckSetup.startTwitterStreaming();
}
}
if (isCommandLine()) {
if (doUpdate) {
UpdateHandler.loadVersionNotes();
if (UpdateHandler.updateAvailable()) {
UpdateHandler.autoUpdate(args);
}
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
System.out.println("String_Node_Str");
NotificationHandler.loadNotifications();
System.out.println("String_Node_Str");
NotificationHandler.showNewNotifications();
if (!autoStart) {
CheckSetup.commandLineSettingsInput();
}
if (savePrefs) {
PreferenceHandler.savePreferences();
}
CheckSetup.startCommandLineWebsiteChecking();
return;
}
if (doUpdate) {
start.setStatus("String_Node_Str");
UpdateHandler.loadVersionNotes();
if (UpdateHandler.updateAvailable()) {
UpdateHandler.promptUpdate(args);
}
setup.setPatchNotesText(UpdateHandler.getVersionNotes());
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
setup.setPatchNotesText(UpdateHandler.getVersionNotes());
}
}
,"String_Node_Str");
}
start.setStatus("String_Node_Str");
NotificationHandler.loadNotifications();
start.setStatus("String_Node_Str");
start.dispose();
NotificationHandler.showNewNotifications();
if (autoStart) {
start.dispose();
CheckSetup.startCheckingWebsites();
}
 else {
setup.loadProgramSettings();
setup.showWindow();
}
}

Fixed version (ground truth):
public static void setupProgram(String[] args){
  boolean doUpdate=PreferenceHandler.getBooleanPreference(Preference.TYPES.LOAD_UPDATES);
  boolean checkPax=true;
  boolean checkShowclix=true;
  boolean checkTwitter=true;
  boolean deepCheckShowclix=false;
  boolean autoStart=false;
  boolean savePrefs=false;
  boolean startMinimized=false;
  String[] twitterTokens=new String[4];
  CheckSetup.addHandle("String_Node_Str");
  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":
deepCheckShowclix=true;
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":
String twitterHandle=args[a + 1];
CheckSetup.addHandle(twitterHandle);
case "String_Node_Str":
System.out.println("String_Node_Str");
Audio.setPlayAlarm(true);
break;
case "String_Node_Str":
CheckSetup.setRefreshTime(Integer.getInteger(args[a + 1],15));
System.out.println("String_Node_Str" + CheckSetup.getRefreshTime());
break;
case "String_Node_Str":
autoStart=true;
break;
case "String_Node_Str":
startMinimized=true;
break;
case "String_Node_Str":
enableCommandLine();
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;
case "String_Node_Str":
twitterTokens[0]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[1]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[2]=args[a + 1];
break;
case "String_Node_Str":
twitterTokens[3]=args[a + 1];
break;
default :
if (args[a].startsWith("String_Node_Str")) {
System.out.println("String_Node_Str" + args[a]);
}
break;
}
}
if (autoStart && !checkPax && !checkShowclix&& !checkTwitter) {
System.out.println("String_Node_Str");
System.exit(0);
}
}
if (!PreferenceHandler.getBooleanPreference(Preference.TYPES.LOAD_NOTIFICATIONS)) {
NotificationHandler.setLastNotificationID("String_Node_Str");
}
if (twitterTokens[0] != null) {
TwitterReader.setKeys(twitterTokens[0],twitterTokens[1],twitterTokens[2],twitterTokens[3]);
TwitterReader.init();
}
if (!TwitterReader.isInitialized()) {
if (PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_KEY) != null) {
System.out.println("String_Node_Str");
try {
TwitterReader.setKeys(Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_KEY)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_CONSUMER_SECRET)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_APP_KEY)),Encryption.decrypt(PreferenceHandler.getStringPreference(Preference.TYPES.TWITTER_APP_SECRET)));
}
 catch (Exception exception) {
System.out.println("String_Node_Str");
}
TwitterReader.init();
}
 else {
System.out.println("String_Node_Str");
}
}
System.out.println("String_Node_Str");
if (autoStart) {
if (checkPax) {
TicketChecker.addChecker(new CheckPaxsite());
}
if (checkShowclix) {
CheckShowclix c=new CheckShowclix();
if (deepCheckShowclix) {
c.enableDeepChecking();
}
TicketChecker.addChecker(c);
}
if (checkTwitter && TwitterReader.isInitialized()) {
CheckSetup.startTwitterStreaming();
}
}
if (isCommandLine()) {
if (doUpdate) {
UpdateHandler.loadVersionNotes();
if (UpdateHandler.updateAvailable()) {
UpdateHandler.autoUpdate(args);
}
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
}
}
,"String_Node_Str");
}
System.out.println("String_Node_Str");
NotificationHandler.loadNotifications();
System.out.println("String_Node_Str");
NotificationHandler.showNewNotifications();
if (!autoStart) {
CheckSetup.commandLineSettingsInput();
}
if (savePrefs) {
PreferenceHandler.savePreferences();
}
CheckSetup.startCommandLineWebsiteChecking();
return;
}
if (doUpdate) {
start.setStatus("String_Node_Str");
UpdateHandler.loadVersionNotes();
if (UpdateHandler.updateAvailable()) {
UpdateHandler.promptUpdate(args);
}
setup.setPatchNotesText(UpdateHandler.getVersionNotes());
}
 else {
startBackgroundThread(new Runnable(){
@Override public void run(){
UpdateHandler.loadVersionNotes();
setup.setPatchNotesText(UpdateHandler.getVersionNotes());
}
}
,"String_Node_Str");
}
start.setStatus("String_Node_Str");
NotificationHandler.loadNotifications();
start.setStatus("String_Node_Str");
start.dispose();
NotificationHandler.showNewNotifications();
if (autoStart) {
start.dispose();
CheckSetup.startCheckingWebsites();
}
 else {
setup.loadProgramSettings();
setup.showWindow();
}
}