Program: 30429
Project: 30429
Buggy source:
/** 
 * receives notification of the value for a particular tag
 * @param element the xml element
 * @param value it's associated value
 */
public void setElementValue(XMLElement element,String value){
  String name=element.getQName();
  if (name.equals(RuntimeTagNames.TIMEOUT_SECS)) {
    timeoutSecs=Integer.parseInt(value);
  }
 else   if (name.equals(RuntimeTagNames.INVALIDATION_INTERVAL_SECS)) {
    int reapIntervalSeconds=Integer.parseInt(value);
    addManagerProperty(REAP_INTERVAL_SECONDS,value);
  }
 else   if (name.equals(RuntimeTagNames.MAX_IN_MEMORY_SESSIONS)) {
    int maxSessions=Integer.parseInt(value);
    addManagerProperty(MAX_SESSIONS,value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_NAME)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setName(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_PATH)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setPath(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_DOMAIN)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setDomain(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_COMMENT)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setComment(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_SECURE)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setSecure(Boolean.parseBoolean(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_MAX_AGE_SECS)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setMaxAge(Integer.parseInt(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_HTTP_ONLY)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setHttpOnly(Boolean.parseBoolean(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIES_ENABLED)) {
    cookieTrackingMode=Boolean.parseBoolean(value);
  }
 else   if (name.equals(RuntimeTagNames.URL_REWRITING_ENABLED)) {
    urlTrackingMode=Boolean.parseBoolean(value);
  }
 else   if (name.equals(RuntimeTagNames.PERSISTENT_STORE_DIR)) {
    addStoreProperty(DIRECTORY,value);
  }
 else {
    super.setElementValue(element,value);
  }
}

Fixed version (ground truth):
/** 
 * receives notification of the value for a particular tag
 * @param element the xml element
 * @param value it's associated value
 */
public void setElementValue(XMLElement element,String value){
  String name=element.getQName();
  if (name.equals(RuntimeTagNames.TIMEOUT_SECS)) {
    timeoutSecs=Integer.parseInt(value);
  }
 else   if (name.equals(RuntimeTagNames.INVALIDATION_INTERVAL_SECS)) {
    Integer.parseInt(value);
    addManagerProperty(REAP_INTERVAL_SECONDS,value);
  }
 else   if (name.equals(RuntimeTagNames.MAX_IN_MEMORY_SESSIONS)) {
    Integer.parseInt(value);
    addManagerProperty(MAX_SESSIONS,value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_NAME)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setName(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_PATH)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setPath(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_DOMAIN)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setDomain(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_COMMENT)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setComment(value);
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_SECURE)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setSecure(Boolean.parseBoolean(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_MAX_AGE_SECS)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setMaxAge(Integer.parseInt(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIE_HTTP_ONLY)) {
    CookieConfig cookieConfig=getCookieConfig();
    cookieConfig.setHttpOnly(Boolean.parseBoolean(value));
  }
 else   if (name.equals(RuntimeTagNames.COOKIES_ENABLED)) {
    cookieTrackingMode=Boolean.parseBoolean(value);
  }
 else   if (name.equals(RuntimeTagNames.URL_REWRITING_ENABLED)) {
    urlTrackingMode=Boolean.parseBoolean(value);
  }
 else   if (name.equals(RuntimeTagNames.PERSISTENT_STORE_DIR)) {
    addStoreProperty(DIRECTORY,value);
  }
 else {
    super.setElementValue(element,value);
  }
}