eiffelstudio - Revision 99068: /branches/Eiffel_14.05