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$
    }
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
Sets the DAV : version child element .