An XML parser written in Java