[ref_impl_eiffel] [830] Small refactoring plus correct 'bug' where differential files were being serialised in ADL 1.4 if the adl_version_for_flat_output .cfg fle option was being used - but there is no point doing that.

Revision: 830
Author: thomas.beale

Log Message: