eiffelstudio - Revision 102628: /trunk/Src/library