2014-04-29 (m. ulbrich)

I updated the example to KeY newer features. 
All proofs go through automatically now.
