Major changes with ISE Eiffel 18.01 and 18.07

cached: 05/14/2021 2:02:51.000 AM