drools-eclipse/org.guvnor.eclipse.webdav/src/interface/org/eclipse/webdav/dom/Update.java
public void setVersion(String href) throws MalformedElementException {
        Element child = getFirstChild(root, childNames);
        // If there is a label-name child remove it.
        if (isDAVElement(child, "label-name")) //$NON-NLS-1$
            root.removeChild(child);
        // Add/update a version element with the href of the version target.
        Element newChild = setChild(root, "version", new String[] {"version"}, true); //$NON-NLS-1$ //$NON-NLS-2$
        setChild(newChild, "href", encodeHref(href), new String[] {"href"}, true); //$NON-NLS-1$ //$NON-NLS-2$
    }
public void setVersion(String href) throws MalformedElementException {
        Element child = getFirstChild(root, childNames);
        // If there is a label-name child remove it.
        if (isDAVElement(child, "label-name")) //$NON-NLS-1$
            root.removeChild(child);
        // Add/update a version element with the href of the version target.
        Element newChild = setChild(root, "version", new String[] {"version"}, true); //$NON-NLS-1$ //$NON-NLS-2$
        setChild(newChild, "href", encodeHref(href), new String[] {"href"}, true); //$NON-NLS-1$ //$NON-NLS-2$
    }
Sets the DAV:version child element.

@param href the string href to the version.
@throws MalformedElementException if there is reason to believe that
this editor's underlying element is not well formed