Program: 103086
Project: 103086
Buggy source:
/** 
 * Sets the global proxy information based on the configuration
 * @throws OperationFailedException
 */
private void loadProxy() throws OperationFailedException {
  String globalProxyType=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTON_PROXY_TYPE_PROPERTY_NAME);
  if (globalProxyType == null || globalProxyType.equals(ProxyInfo.ProxyType.NONE.name())) {
    proxy=org.jivesoftware.smack.proxy.ProxyInfo.forNoProxy();
  }
 else {
    String globalProxyAddress=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTON_PROXY_ADDRESS_PROPERTY_NAME);
    String globalProxyPortStr=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTON_PROXY_PORT_PROPERTY_NAME);
    int globalProxyPort;
    try {
      globalProxyPort=Integer.parseInt(globalProxyPortStr);
    }
 catch (    NumberFormatException ex) {
      throw new OperationFailedException("String_Node_Str" + globalProxyPortStr + "String_Node_Str",OperationFailedException.INVALID_ACCOUNT_PROPERTIES,ex);
    }
    String globalProxyUsername=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTON_PROXY_USERNAME_PROPERTY_NAME);
    String globalProxyPassword=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTON_PROXY_PASSWORD_PROPERTY_NAME);
    if (globalProxyAddress == null || globalProxyAddress.length() <= 0) {
      throw new OperationFailedException("String_Node_Str",OperationFailedException.INVALID_ACCOUNT_PROPERTIES);
    }
    try {
      proxy=new org.jivesoftware.smack.proxy.ProxyInfo(Enum.valueOf(org.jivesoftware.smack.proxy.ProxyInfo.ProxyType.class,globalProxyType),globalProxyAddress,globalProxyPort,globalProxyUsername,globalProxyPassword);
    }
 catch (    IllegalArgumentException e) {
      logger.error("String_Node_Str",e);
      proxy=null;
    }
  }
}

Fixed version (ground truth):
/** 
 * Sets the global proxy information based on the configuration
 * @throws OperationFailedException
 */
private void loadProxy() throws OperationFailedException {
  String globalProxyType=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTION_PROXY_TYPE_PROPERTY_NAME);
  if (globalProxyType == null || globalProxyType.equals(ProxyInfo.ProxyType.NONE.name())) {
    proxy=org.jivesoftware.smack.proxy.ProxyInfo.forNoProxy();
  }
 else {
    String globalProxyAddress=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTION_PROXY_ADDRESS_PROPERTY_NAME);
    String globalProxyPortStr=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTION_PROXY_PORT_PROPERTY_NAME);
    int globalProxyPort;
    try {
      globalProxyPort=Integer.parseInt(globalProxyPortStr);
    }
 catch (    NumberFormatException ex) {
      throw new OperationFailedException("String_Node_Str" + globalProxyPortStr + "String_Node_Str",OperationFailedException.INVALID_ACCOUNT_PROPERTIES,ex);
    }
    String globalProxyUsername=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTION_PROXY_USERNAME_PROPERTY_NAME);
    String globalProxyPassword=JabberActivator.getConfigurationService().getString(ProxyInfo.CONNECTION_PROXY_PASSWORD_PROPERTY_NAME);
    if (globalProxyAddress == null || globalProxyAddress.length() <= 0) {
      throw new OperationFailedException("String_Node_Str",OperationFailedException.INVALID_ACCOUNT_PROPERTIES);
    }
    try {
      proxy=new org.jivesoftware.smack.proxy.ProxyInfo(Enum.valueOf(org.jivesoftware.smack.proxy.ProxyInfo.ProxyType.class,globalProxyType),globalProxyAddress,globalProxyPort,globalProxyUsername,globalProxyPassword);
    }
 catch (    IllegalArgumentException e) {
      logger.error("String_Node_Str",e);
      proxy=null;
    }
  }
}