Major changes with ISE Eiffel 18.01 and 18.07

cached: 05/18/2025 12:39:14.000 PM