There was indeed a memory leak in version 62110. Can you check the next release as there are no more Eiffel leaks now?