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$
    }
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
Adds the given href to the end of the set of hrefs . If the href already exists it is not added .