It is now fixed at rev#82211. As far as I can tell this crash will not occur when quitting between two finalizations and thus I'm not too worried of the impact it might have one old releases of EiffelStudio. I will nonetheless patch 6.5 in case we need to redo a 6.5 release for other reasons.