Major changes with ISE Eiffel 18.01 and 18.07

cached: 04/22/2019 10:12:58.000 PM