Program: 29121
Project: 29121
Buggy source:
public void readWebAppParams(Context ctx,SessionManager smBean){
  if (smBean != null) {
    ManagerProperties mgrBean=smBean.getManagerProperties();
    if ((mgrBean != null) && (mgrBean.sizeWebProperty() > 0)) {
      for (      WebProperty prop : mgrBean.getWebProperty()) {
        String name=prop.getAttributeValue(WebProperty.NAME);
        String value=prop.getAttributeValue(WebProperty.VALUE);
        if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            reapInterval=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            maxSessions=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            maxIdleBackup=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          relaxCacheVersionSemantics=Boolean.parseBoolean(value);
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          sessionFilename=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          _persistenceFrequency=value;
        }
 else {
          if (_logger.isLoggable(Level.INFO)) {
            Object[] params={name};
            _logger.log(Level.INFO,WebContainer.PROPERTY_NOT_YET_SUPPORTED,params);
          }
        }
      }
    }
    StoreProperties storeBean=smBean.getStoreProperties();
    if ((storeBean != null) && (storeBean.sizeWebProperty() > 0)) {
      for (      WebProperty prop : storeBean.getWebProperty()) {
        String name=prop.getAttributeValue(WebProperty.NAME);
        String value=prop.getAttributeValue(WebProperty.VALUE);
        if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            storeReapInterval=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          directory=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          _persistenceScope=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          persistentCookieName=value;
        }
 else {
          if (_logger.isLoggable(Level.INFO)) {
            Object[] params={name};
            _logger.log(Level.INFO,WebContainer.PROPERTY_NOT_YET_SUPPORTED,params);
          }
        }
      }
    }
  }
}

Fixed version (ground truth):
public void readWebAppParams(Context ctx,SessionManager smBean){
  if (smBean != null) {
    ManagerProperties mgrBean=smBean.getManagerProperties();
    if ((mgrBean != null) && (mgrBean.sizeWebProperty() > 0)) {
      for (      WebProperty prop : mgrBean.getWebProperty()) {
        String name=prop.getAttributeValue(WebProperty.NAME);
        String value=prop.getAttributeValue(WebProperty.VALUE);
        if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            reapInterval=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            maxSessions=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          relaxCacheVersionSemantics=Boolean.parseBoolean(value);
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          sessionFilename=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          _persistenceFrequency=value;
        }
 else {
          if (_logger.isLoggable(Level.INFO)) {
            Object[] params={name};
            _logger.log(Level.INFO,WebContainer.PROPERTY_NOT_YET_SUPPORTED,params);
          }
        }
      }
    }
    StoreProperties storeBean=smBean.getStoreProperties();
    if ((storeBean != null) && (storeBean.sizeWebProperty() > 0)) {
      for (      WebProperty prop : storeBean.getWebProperty()) {
        String name=prop.getAttributeValue(WebProperty.NAME);
        String value=prop.getAttributeValue(WebProperty.VALUE);
        if (name.equalsIgnoreCase("String_Node_Str")) {
          try {
            storeReapInterval=Integer.parseInt(value);
          }
 catch (          NumberFormatException e) {
          }
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          directory=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          _persistenceScope=value;
        }
 else         if (name.equalsIgnoreCase("String_Node_Str")) {
          persistentCookieName=value;
        }
 else {
          if (_logger.isLoggable(Level.INFO)) {
            Object[] params={name};
            _logger.log(Level.INFO,WebContainer.PROPERTY_NOT_YET_SUPPORTED,params);
          }
        }
      }
    }
  }
}