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