drools-eclipse/org.guvnor.eclipse.webdav/src/interface/org/eclipse/webdav/dom/Prop.java
public Enumeration getProperties() throws MalformedElementException {
        Node firstChild = getChildElement(root, true);
        final Node firstElement = firstChild;
        Enumeration e = new Enumeration() {
            Node currentElement = firstElement;

            public boolean hasMoreElements() {
                return currentElement != null;
            }

            public Object nextElement() {
                if (!hasMoreElements())
                    throw new NoSuchElementException();
                Node nextElement = currentElement;
                currentElement = getNextSibling((Element) currentElement);
                return nextElement;
            }
        };
        return e;
    }
public Enumeration getProperties() throws MalformedElementException {
        Node firstChild = getChildElement(root, true);
        final Node firstElement = firstChild;
        Enumeration e = new Enumeration() {
            Node currentElement = firstElement;

            public boolean hasMoreElements() {
                return currentElement != null;
            }

            public Object nextElement() {
                if (!hasMoreElements())
                    throw new NoSuchElementException();
                Node nextElement = currentElement;
                currentElement = getNextSibling((Element) currentElement);
                return nextElement;
            }
        };
        return e;
    }
public Enumeration getProperties ( ) throws MalformedElementException { Node firstChild = getChildElement ( root , true ) ; final Node firstElement = firstChild ; Enumeration e = new Enumeration ( ) { Node currentElement = firstElement ; public boolean hasMoreElements ( ) { return currentElement != null ; } public Object nextElement ( ) { if ( ! hasMoreElements ( ) ) throw new NoSuchElementException ( ) ; Node nextElement = currentElement ; currentElement = getNextSibling ( ( Element ) currentElement ) ; return nextElement ; } } ; return e ; }
Returns an <code>Enumeration</code> over this prop's property
<code>Element</code>s.

@returns an <code>Enumeration</code> of </code>Element</code>s
@throws  MalformedElementException if there is reason to believe that
this editor's underlying element is not well formed
Returns an <code > Enumeration< / code > over this prop s property <code > Element< / code > s .