PDF-hul: Wrong value in trailer /Size throws an unexpected exception

[BertrandCaron]

Version used: 1.32.0

If the value of the attribute /Size in the trailer is lower than the real number of objects in the PDF, JHOVE returns an unexpected exception (error PDF-hul-157).

Shouldn't JHOVE be checking that the number in the trailer /Size attribute is the same as the number of objects referenced in the xref table? And return a specific error?

Note that other tools are more explicit than JHOVE; e.g., qpdf --check returns the following warning:

WARNING: my.pdf: reported number of objects (XX) is not one plus the highest object number