directory /src/goodjava/xml/ @ 1801:32e77b071e09 default tip

name size permissions
[up] drwxr-xr-x
file Xml.java 547 -rw-r--r--
file XmlElement.java 3204 -rw-r--r--
file XmlParser.java 5347 -rw-r--r--