Added copyright license
Fixed compilation with EiffelStudio 7.3