[ref_impl_eiffel] [567] AWB-71: Fix saving as HTML, which was always saving with a .adl or .adls extension instead of .html, due to change in revision 539 to ARCH_REP_ARCHETYPE.

Revision: 567
Author: peter.gummer

Log Message: