My source code version is 69143. My installed Eiffel Studio version is 68843 which I got from Origo weekly releases.I can't reproduce bug#12955 neither. The reproduce video of bug#12955 is attached at that bug report also.
 
Attached is a 7 zip compressed format. I can't use zip format since the
compressed format will be much bigger. You can download 7 zip here:
http://www.7-zip.org/ I don't know whether 7 zip works fine on Unix systems.
Sorry. The video is AVI format. I don't know the tool to watch AVI video on Solaris so far. :P