*) Change PDF view from coolwanglu's pdf2htmlEx to Apache's PDFBox.