As the function PdfUtilities.brokenPdfChecker causes crashes, it is not used by any of the tools now and has a TODO as a reminder that something is wrong with it.