} else if (name.equals("fork")) { fork(attrs); } else if (name.equals("path")) { startPath(attrs);
    public void startElement(String uri, String local, String name, 			     Attributes attrs)    {	if (name.equals("frameset")) {	    startFrameset(attrs);	} else if (name.equals("prototypes")) {	    // no-op	} else if (name.equals("prototype")) {	    startPrototype(attrs);	} else if (name.equals("slot")) {	    slot(attrs);	} else if (name.equals("fork")) {	    fork(attrs);	} else if (name.equals("path")) {	    startPath(attrs);	}     }