Fixed KeY 2.0 API compliance.