Rich-text area for JavaFX