olex2-gui - Revision 7230: /branches/1.3/util