eiffelstudio - Revision 97761: /branches/Eiffel_14.05