String fileName = "edu/umd/cs/findbugs/gui/help/" + bugInstance.getType() + ".html"; if (currentBugDetailsFile != null && currentBugDetailsFile.equals(fileName)) return;   bugDescriptionEditorPane.setText("");   java.net.URL infoURL = getClass().getClassLoader().getResource(fileName); if (infoURL == null) { logger.logMessage(ConsoleLogger.ERROR, "Can't find help file " + fileName); return; }   try { bugDescriptionEditorPane.setPage(infoURL); currentBugDetailsFile = fileName; } catch (IOException e) { logger.logMessage(ConsoleLogger.ERROR, e.getMessage()); }
String html = I18N.instance().getDetailHTML(bugDetailsKey); bugDescriptionEditorPane.setContentType("text/html"); bugDescriptionEditorPane.setText(html); currentBugDetailsKey = bugDetailsKey;
    private void showBugInfo(BugInstance bugInstance) {                // Look for the HTML file describing this kind of bug        String fileName = "edu/umd/cs/findbugs/gui/help/" + bugInstance.getType() + ".html";        if (currentBugDetailsFile != null && currentBugDetailsFile.equals(fileName))            return;                // Clear out previous contents        bugDescriptionEditorPane.setText("");                // Try to get the URL for the help file resource        java.net.URL infoURL = getClass().getClassLoader().getResource(fileName);        if (infoURL == null) {            logger.logMessage(ConsoleLogger.ERROR, "Can't find help file " + fileName);            return;        }                // Load the help file        try {            bugDescriptionEditorPane.setPage(infoURL);            currentBugDetailsFile = fileName;        } catch (IOException e) {            logger.logMessage(ConsoleLogger.ERROR, e.getMessage());        }    }