Major changes with ISE Eiffel 18.01 and 18.07

cached: 02/20/2019 10:11:05.000 PM