throws occasionally a null pointer exception when updating the JEditorPane especially with bigger fonts even with all Updates running on the dispatcher thread.
Does not seem to affect the GUI.
JEditorPane should probably be replaced by OpenGL to make use of the GPU.
(replaced Swing JEditorPane by Slick2D/LWJGL/openGL in V1.14)