--- jrefactory/src/org/acm/seguin/pmd/swingui/ResultsViewer.java~ 2003-07-29 21:51:58.000000000 +0100 +++ jrefactory/src/org/acm/seguin/pmd/swingui/ResultsViewer.java 2005-06-02 16:04:19.000000000 +0100 @@ -15,7 +15,6 @@ import javax.swing.JEditorPane; import javax.swing.JScrollPane; import javax.swing.UIManager; -import javax.swing.text.html.HTMLEditorKit; import java.awt.Component; import java.io.File; import java.io.FileInputStream; @@ -40,7 +39,6 @@ protected ResultsViewer() { super(); - setEditorKit(new HTMLEditorKit()); setEditable(false); setBackground(UIManager.getColor("pmdGray"));