[ref_impl_eiffel] [1141] Update trunk to current specialisation revision.

Revision: 1141
Author: thomas.beale
Log Message: