eiffelstudio - Revision 99121: /branches/Eiffel_14.05