public int getEventIDWithName(String name) {
   if (single.idMap == null) {
     readXML();
     buildCache();
   }
   return single.nameMap.get(name);
 }
 /**
  * @param id the id corresponding to an event
  * @return the DOM Element corresponding to the event tag
  */
 public Element getElementWithID(int id) {
   if (single.idMap == null) {
     readXML();
     buildCache();
   }
   return single.idMap.get(id) != null ? (Element) single.idMap.get(id)[1] : null;
 }
 /**
  * @param id the id corresponding to an event
  * @return the name of the event corresponding to the id, or null if none could be found.
  */
 public String getEventNameWithID(int id) {
   if (single.idMap == null) {
     readXML();
     buildCache();
   }
   return single.idMap.get(id) != null ? (String) single.idMap.get(id)[0] : null;
 }