directory /src/goodjava/xml/ @ 1535:e73b72a510b4 tip

name size permissions
[up] drwxr-xr-x
file XmlElement.java 2544 -rw-r--r--
file XmlParser.java 4658 -rw-r--r--