throw new RuntimeException("cannot compare NodeProxy with " + other.getClass().getName());
return false;
	public boolean equals(Object other) {		if (!(other instanceof NodeProxy))			throw new RuntimeException("cannot compare NodeProxy with " + other.getClass().getName());		NodeProxy node = (NodeProxy) other;		if (node.doc.getDocId() == doc.getDocId() && node.gid == gid)			return true;		return false;	}