another try for JaCoCo and Sonar to work again
#63: various improvements on RichTextArea (Font settings popup with preview)