K 10
svn:author
V 3
ale
K 8
svn:date
V 27
2011-12-23T10:38:54.000000Z
K 7
svn:log
V 80
Update to 4.7 release and add a workaround for GUI hanging (java bug #7027598).

END