Fixed in rev#84155 of EiffelStudio 6.7 intermediate release.