This bug is still reproducible in Eiffel Studio 6.5 (6.5.7.9743 GPL Edition - linux-x86) on Ubuntu 8.10.

The way Paul suggested works indeed.