Convert to Java 1.6. Uptade to latest KeY build.