Now the examples correspond to Aivika 0.7.