ref_impl_eiffel [302] Work around incorrect namespace generation in EiffelStudio 6.0.6.9021.

Revision: 302
Author: peter.gummer

Log Message: