Major changes with ISE Eiffel 18.01 and 18.07

cached: 12/08/2022 9:45:14.000 PM