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