XMLDTDScanner