KeY for Java (Eclipse plugin)

[placeholder]