eiffelstudio - Revision 100439: /branches/Eiffel_14.05