references = null;
    public void endElement(String uri, String local, String name)    {	if (name.equals("frameset")) {	    endFrameset();	} else if (name.equals("prototypes")) {	    // no-op	} else if (name.equals("prototype")) {	    endPrototype();	} else if (name.equals("frames")) {	    // no-op	} else if (name.equals("frame")) {	    endFrame();	} else if (name.equals("path")) {	    endPath();	}    }