Major changes with ISE Eiffel 18.01 and 18.07

cached: 03/19/2024 5:51:48.000 AM