fixup! SwingTextDisplayPanel: use a JEditorPane