I can't reproduce this problem on my Linux Eiffel Studio now.
But I Added if protection to against void object, so this bug is fixed.
Thanks for the report.