result != null
6869707172737475767778
menus.add(menuElement(null, curEl)); } else { // If not, keep going through the XML tree and search for // more <menu> elements. Enumeration en = curEl.enumerateChildren(); while (en.hasMoreElements()) { s.push(en.nextElement()); } }