David, I took a look at the code and tested EiffelStudio on WinXP. I'm having trouble reproducing the problem. It might be the type of exception being thrown. Can you provide a repo as to how you produce the original exception in EiffelStudio?