Example files for a Java tutorial on processing XML documents