eiffelstudio - Revision 100644: /branches/Eiffel_14.05