Program: 44998
Project: 44998
Buggy source:
/** 
 * Returns an <code>OsVersion</code> instance corresponding to the specified system property's value.
 * @param osVersionProp the value of the "os.version" system property
 * @param osFamily the current OS family
 * @return an OsVersion instance corresponding to the specified system property's value
 */
static OsVersion parseSystemProperty(String osVersionProp,OsFamily osFamily){
  OsVersion osVersion;
  if (osFamily == OsFamilies.WINDOWS) {
    if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_95;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_98;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_ME;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_NT;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_2000;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_XP;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_2003;
    }
 else     if (osVersionProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_VISTA;
    }
 else {
      osVersion=WINDOWS_VISTA;
    }
  }
 else   if (osFamily == OsFamilies.MAC_OS_X) {
    if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_5;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_4;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_3;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_2;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_1;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_0;
    }
 else {
      osVersion=MAC_OS_X_10_5;
    }
  }
 else {
    osVersion=OsVersions.UNKNOWN_VERSION;
  }
  return osVersion;
}

Fixed version (ground truth):
/** 
 * Returns an <code>OsVersion</code> instance corresponding to the specified system property's value.
 * @param osVersionProp the value of the "os.version" system property
 * @param osNameProp the value of the "os.name" system property
 * @param osFamily the current OS family
 * @return an OsVersion instance corresponding to the specified system property's value
 */
static OsVersion parseSystemProperty(String osVersionProp,String osNameProp,OsFamily osFamily){
  OsVersion osVersion;
  if (osFamily == OsFamilies.WINDOWS) {
    if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_95;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_98;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_ME;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_NT;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_2000;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_XP;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_2003;
    }
 else     if (osNameProp.equals("String_Node_Str")) {
      osVersion=WINDOWS_VISTA;
    }
 else {
      osVersion=WINDOWS_VISTA;
    }
  }
 else   if (osFamily == OsFamilies.MAC_OS_X) {
    if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_5;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_4;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_3;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_2;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_1;
    }
 else     if (osVersionProp.startsWith("String_Node_Str")) {
      osVersion=MAC_OS_X_10_0;
    }
 else {
      osVersion=MAC_OS_X_10_5;
    }
  }
 else {
    osVersion=OsVersions.UNKNOWN_VERSION;
  }
  return osVersion;
}