}
public static XmlTree<XmlNode> parse(TextSource source) {
final List<XmlProblem> list = new ArrayList<XmlProblem>();
ErrorReporter reporter = new ErrorReporter() {
public void error(int start, int end, int line, String s) {
list.add(new XmlProblem(KIND_ERROR, start, end, s, null));
}
};