Index: src/main/java/common/javax/swing/JEditorPane.java =================================================================== --- src/main/java/common/javax/swing/JEditorPane.java (revision 490282) +++ src/main/java/common/javax/swing/JEditorPane.java (working copy) @@ -552,6 +552,10 @@ } */ public final void setContentType(final String type) { + if (type == null) { + throw new NullPointerException(); + } + if (type == "text/html" || type == "text/rtf") { System.err .println("WARNING: HTML/RTF is not supported yet. Plain text will be shown");