cleaned up the Code in "PdfAValidator"