The Java and JML Parsing Interface in the KeY system