update PDFLexer.py