*/
private void checkPageLabels(final Page page) {
final PageCollection currentCollection = page.getParent();
final PositiveIntegerFormatter currentFormatter =
currentCollection.getPageNumberFormatter();
final PdfPageLabelStyle labelStyle = PDFRenderer
.convertPageLabelStyle(currentFormatter.getType());
/* Handle special case of the first page. */
if (this.currentAreaTreePage == null) {
this.pdfDoc.addPageLabelRange(0, labelStyle,