We need to define a permanenent URL for the XMLFormatter doctype,
probably somewhere on java.sun.com.

This is necessary so that the XML output can have a valid global
URL for the doctype.

The XMLFormatter should be changed to use this doctype URL in its
header string.


graham.hamilton@Eng 2000-09-20