A Java library for PDFs