props.setProperty(ResourceHandler.PATH, resource.getPath());
props.setProperty(ResourceHandler.PROTOCOL, resource.getProtocol());
props.setProperty(ResourceHandler.PORT, Integer.toString(resource.getPort()));
// add the custom resource properties
if (resourceProperties != null) {
Enumeration properyKeysEnum = resourceProperties.keys();
while (properyKeysEnum.hasMoreElements()) {
String key = (String) properyKeysEnum.nextElement();
if (!key.equals(ResourceHandler.HOST) &&
!key.equals(ResourceHandler.PATH) &&
!key.equals(ResourceHandler.PROTOCOL) &&