Program: 81052
Project: 81052
Buggy source:
/** 
 * Starts a new non-daemon Thread that checks the websites for updates. This Thread also updates the Status GUI.
 */
public static void startCheckingWebsites(){
  PAXChecker.continueProgram(new Runnable(){
    @Override public void run(){
      SettingsHandler.saveAllPrefs();
      if (!Browser.checkShowclixLink(SettingsHandler.getLastEvent())) {
        SettingsHandler.saveLastEvent(Browser.getShowclixLink());
        System.out.println("String_Node_Str");
      }
      status=new Status();
      setStatusIconInBackground(getIconName(Browser.getExpo()));
      long startMS;
      int seconds=getRefreshTime();
      do {
        status.setLastCheckedText("String_Node_Str");
        startMS=System.currentTimeMillis();
        if (Browser.isShowclixUpdated() || Browser.isPAXWebsiteUpdated()) {
          final String link=Browser.parseHRef(Browser.getCurrentButtonLinkLine());
          linkFound(link);
          break;
        }
        status.setDataUsageText(DataTracker.getDataUsedMB());
        while (System.currentTimeMillis() - startMS < (seconds * 1000)) {
          if (forceRefresh) {
            forceRefresh=false;
            break;
          }
          try {
            Thread.sleep(100);
          }
 catch (          InterruptedException interruptedException) {
          }
          status.setLastCheckedText(seconds - (int)((System.currentTimeMillis() - startMS) / 1000));
        }
      }
 while (status.isDisplayable());
      System.out.println("String_Node_Str");
    }
  }
);
}

Fixed version (ground truth):
/** 
 * Starts a new non-daemon Thread that checks the websites for updates. This Thread also updates the Status GUI.
 */
public static void startCheckingWebsites(){
  PAXChecker.continueProgram(new Runnable(){
    @Override public void run(){
      SettingsHandler.saveAllPrefs();
      if (!Browser.checkShowclixLink(SettingsHandler.getLastEvent())) {
        SettingsHandler.saveLastEvent(Browser.getShowclixLink());
        System.out.println("String_Node_Str");
      }
      status=new Status();
      setStatusIconInBackground(getIconName(Browser.getExpo()));
      long startMS;
      int seconds=getRefreshTime();
      do {
        status.setLastCheckedText("String_Node_Str");
        startMS=System.currentTimeMillis();
        if (Browser.isShowclixUpdated()) {
          final String link=Browser.parseHRef(Browser.getCurrentButtonLinkLine());
          linkFound(link);
          break;
        }
 else         if (Browser.isPAXWebsiteUpdated()) {
          final String link=Browser.getShowclixLink();
          linkFound(link);
          break;
        }
        status.setDataUsageText(DataTracker.getDataUsedMB());
        while (System.currentTimeMillis() - startMS < (seconds * 1000)) {
          if (forceRefresh) {
            forceRefresh=false;
            break;
          }
          try {
            Thread.sleep(100);
          }
 catch (          InterruptedException interruptedException) {
          }
          status.setLastCheckedText(seconds - (int)((System.currentTimeMillis() - startMS) / 1000));
        }
      }
 while (status.isDisplayable());
      System.out.println("String_Node_Str");
    }
  }
);
}