int tag = Integer.parseInt(val.substring(tagIndex + 1,
val.length() - 1));
String owner = val.substring(0, dotIndex);
String name = val.substring(dotIndex + 1, descIndex);
String desc = val.substring(descIndex, tagIndex - 1);
return new Handle(tag, owner, name, desc);
} catch (RuntimeException e) {
throw new SAXException("Malformed handle " + val, e);
}
}