Major changes with ISE Eiffel 18.01 and 18.07

cached: 10/21/2021 10:29:15.000 PM