A PDF file editing and manipulating tool based on Apache PDFBox