See suggested fix at: https://github.com/EiffelSoftware/EiffelStudio/pull/14

--
Eric Bezault