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