Thanks for the report. Could you tell us more how you got this exception trace? Did you press Ctrl+C in the console where EiffelStudio was started?