eiffelstudio - Revision 97391: /branches/Eiffel_14.05