Support EiffelStudio 7.1 as this is the last stable release
Merge pull request #1 from oligot/support_7.1

Support EiffelStudio 7.1 as this is the last stable release