[ref_impl_eiffel] [590] AWB-74: Merge TRUNK revisions 576-588 back into BRANCHES/specialisation.

Revision: 590
Author: peter.gummer

Log Message: