Major changes between ISE Eiffel 4.5 and ISE Eiffel 5.0