Update code to the last Eiffel version