[ref_impl_eiffel] [988] RESOURCE_DESCRIPTION.add_detail was creating the 'details' attribute if void.

Revision: 988
Author: peter.gummer
Log Message: