[ref_impl_eiffel] [719] AWB-147: Changes copied from revision 715 in BRANCHES/specialisation:

Revision: 719
Author: peter.gummer

Log Message: