Arena Version 7.0.2
Merge pull request #2 from Fantoccini/master

Arena version has been updated to version 7.0.2