drools-eclipse/org.guvnor.eclipse.webdav/src/interface/org/eclipse/webdav/dom/HrefSet.java
public void addHref(String href) {
        String encodedHref = encodeHref(href);
        if (isDuplicate(encodedHref))
            return;
        appendChild(root, "href", encodedHref); //$NON-NLS-1$
    }
public void addHref(String href) {
        String encodedHref = encodeHref(href);
        if (isDuplicate(encodedHref))
            return;
        appendChild(root, "href", encodedHref); //$NON-NLS-1$
    }
Adds the given href to the end of the set of hrefs. If the href
already exists it is not added.

@param href    the href to add to the end of the set of hrefs