drools-eclipse/org.guvnor.eclipse.webdav/src/client/org/eclipse/webdav/client/URLTool.java
public static URL getChild(URL parent, String member) {
        String file = parent.getFile();
        if (!file.endsWith("/")) //$NON-NLS-1$
            file = file + "/"; //$NON-NLS-1$
        try {
            return new URL(parent.getProtocol(), parent.getHost(), parent.getPort(), file + member);
        } catch (MalformedURLException e) {
            Assert.isTrue(false, Policy.bind("assert.internalError")); //$NON-NLS-1$
        }
        return null;
    }
public static URL getChild(URL parent, String member) {
        String file = parent.getFile();
        if (!file.endsWith("/")) //$NON-NLS-1$
            file = file + "/"; //$NON-NLS-1$
        try {
            return new URL(parent.getProtocol(), parent.getHost(), parent.getPort(), file + member);
        } catch (MalformedURLException e) {
            Assert.isTrue(false, Policy.bind("assert.internalError")); //$NON-NLS-1$
        }
        return null;
    }
Returns the child URL formed by joining the given member with the
given parent URL.

@return a child URL of the given parent