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