Simple RTF text editor in Java Swing