[ref_impl_eiffel] [1600] Commit after merging adl 1.5 branch with revisions 1261-1589

Revision: 1600
Author: seref.arikan
Log Message: