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