eiffelstudio - Revision 98500: /trunk/Src/library/uuid