Fixed in rev#83480 of Eiffel Studio 6.7 intermediate release.