eiffelstudio - Revision 102846: /trunk/Src/library