Anchor.compareTo(), Anchor.equals()
build.xml: copy DTD files to build directory