[PDF] - Automatic scanner generation in MiniJava Symbol class We use the PDF Document