#988 Fixed sizing of JEditorPane