eiffelstudio - Revision 103082: /trunk/Src/examples