The Eiffel Developer's Package aka EDP