KeY for Java (standalone)

[placeholder]