eiffelstudio - Revision 103681: /branches/Eiffel_17.01