Update PDFDocument.java