Program: 61566
Project: 61566
Buggy source:
private static void loadProperties(){
  Properties prop=new Properties();
  try {
    prop.load(ApplicationInfo.class.getResourceAsStream("String_Node_Str"));
    version=prop.getProperty("String_Node_Str");
    revision=prop.getProperty("String_Node_Str");
    version_major=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_minor=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_release=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_build=Integer.parseInt(prop.getProperty("String_Node_Str"));
    nightly=prop.getProperty("String_Node_Str").equals("String_Node_Str");
    if (nightly) {
      version=version + "String_Node_Str" + version_build;
    }
  }
 catch (  IOException|NullPointerException|NumberFormatException ex) {
    version="String_Node_Str";
  }
  updateCheckUrl=updateCheckUrl.replace("String_Node_Str",revision).replace("String_Node_Str",version).replace("String_Node_Str","String_Node_Str" + version_major).replace("String_Node_Str","String_Node_Str" + version_minor).replace("String_Node_Str","String_Node_Str" + version_release).replace("String_Node_Str","String_Node_Str" + version_build).replace("String_Node_Str",nightly ? "String_Node_Str" : "String_Node_Str");
  updateUrl=updateUrl.replace("String_Node_Str",revision).replace("String_Node_Str",version).replace("String_Node_Str","String_Node_Str" + version_major).replace("String_Node_Str","String_Node_Str" + version_minor).replace("String_Node_Str","String_Node_Str" + version_release).replace("String_Node_Str","String_Node_Str" + version_build).replace("String_Node_Str",nightly ? "String_Node_Str" : "String_Node_Str");
  applicationVerName=APPLICATION_NAME + "String_Node_Str" + version;
  shortApplicationVerName=SHORT_APPLICATION_NAME + "String_Node_Str" + version;
}

Fixed version (ground truth):
private static void loadProperties(){
  Properties prop=new Properties();
  try {
    prop.load(ApplicationInfo.class.getResourceAsStream("String_Node_Str"));
    version=prop.getProperty("String_Node_Str");
    revision=prop.getProperty("String_Node_Str");
    version_major=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_minor=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_release=Integer.parseInt(prop.getProperty("String_Node_Str"));
    version_build=Integer.parseInt(prop.getProperty("String_Node_Str"));
    nightly=prop.getProperty("String_Node_Str").equals("String_Node_Str");
    if (nightly) {
      version=version + "String_Node_Str" + version_build;
    }
  }
 catch (  IOException|NullPointerException|NumberFormatException ex) {
    version="String_Node_Str";
  }
  try {
    updateCheckUrl=updateCheckUrl.replace("String_Node_Str",URLEncoder.encode(revision,"String_Node_Str")).replace("String_Node_Str",URLEncoder.encode(version,"String_Node_Str")).replace("String_Node_Str","String_Node_Str" + version_major).replace("String_Node_Str","String_Node_Str" + version_minor).replace("String_Node_Str","String_Node_Str" + version_release).replace("String_Node_Str","String_Node_Str" + version_build).replace("String_Node_Str",nightly ? "String_Node_Str" : "String_Node_Str");
    updateUrl=updateUrl.replace("String_Node_Str",URLEncoder.encode(revision,"String_Node_Str")).replace("String_Node_Str",URLEncoder.encode(version,"String_Node_Str")).replace("String_Node_Str","String_Node_Str" + version_major).replace("String_Node_Str","String_Node_Str" + version_minor).replace("String_Node_Str","String_Node_Str" + version_release).replace("String_Node_Str","String_Node_Str" + version_build).replace("String_Node_Str",nightly ? "String_Node_Str" : "String_Node_Str");
  }
 catch (  UnsupportedEncodingException e) {
  }
  applicationVerName=APPLICATION_NAME + "String_Node_Str" + version;
  shortApplicationVerName=SHORT_APPLICATION_NAME + "String_Node_Str" + version;
}