}
public void run() {
userAgent.setSVGCursor(holder.getCursor());
String href = elt.getHref().getAnimVal();
ParsedURL purl = new ParsedURL(elt.getBaseURI(), href);
SVGOMDocument doc = (SVGOMDocument) elt.getOwnerDocument();
ParsedURL durl = doc.getParsedURL();
if (purl.sameFile(durl)) {
String frag = purl.getRef();
if (frag != null && frag.length() != 0) {
Element refElt = doc.getElementById(frag);
if (refElt instanceof SVGOMAnimationElement) {