eiffelstudio - Revision 99869: /branches/Eiffel_14.05