if (el.getName().equalsIgnoreCase("agent")) { //$NON-NLS-1$
String name = (String) el.getAttribute("name"); //$NON-NLS-1$
String jre = (String) el.getAttribute("jre"); //$NON-NLS-1$
if (isJreSupported(jre)) {
// Process classpath and/or file elements
Enumeration e2 = el.enumerateChildren();
while (e2.hasMoreElements()) {
XMLElement el2 = (XMLElement) e2.nextElement();
processAgentElements(el2, launcher, events, name);
}
} else {