Adding a DTD for the options (less error prone, having the DTD in the xml file is more risky... as I just found out an hour ago... (crash...)).
Adding a DTD for the options (less error prone, having
the DTD in the xml file is more risky... as I just found
out an hour ago... (crash...)).


git-svn-id: cc07906f5311cb692740222662fcae95cc55c60b@57 bdce659d-a14a-0410-ae70-83a44b484ef0

dprevost/errorparser,dprevost/errorparser,dprevost/errorparser,dprevost/errorparser,dprevost/errorparser,dprevost/errorparser