weaving of eclipse Java parser to accept custom JDT syntax for proof script