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