misc - Revision 12531: /trunk/uml-tools