summaryHtmlArea.addHyperlinkListener(new javax.swing.event.HyperlinkListener() { public void hyperlinkUpdate(javax.swing.event.HyperlinkEvent evt) { AboutDialog.editorPaneHyperlinkUpdate(evt); } });
	Component summaryTab()	{		int fontSize = (int) Driver.getFontSize();		summaryTopPanel = new JPanel();		//summaryTopPanel.setLayout(new GridLayout(0,1));		summaryTopPanel.setLayout(new BoxLayout(summaryTopPanel, BoxLayout.Y_AXIS));		summaryTopPanel.setBorder(BorderFactory.createEmptyBorder(2,4,2,4));		summaryTopPanel.setMinimumSize(new Dimension(fontSize * 50, fontSize*5));						summaryHtmlArea.setContentType("text/html");		summaryHtmlArea.setEditable(false);		summaryHtmlArea.setToolTipText("This gives a longer description of the detected bug pattern");		setStyleSheets();		//JPanel temp = new JPanel(new BorderLayout());		//temp.add(summaryTopPanel, BorderLayout.CENTER);		JScrollPane summaryScrollPane = new JScrollPane(summaryTopPanel);		summaryScrollPane.getVerticalScrollBar().setUnitIncrement( (int)Driver.getFontSize() );		JSplitPane splitP = new JSplitPane(JSplitPane.VERTICAL_SPLIT, false, 				summaryScrollPane, summaryHtmlScrollPane);		splitP.setDividerLocation(75);		splitP.setOneTouchExpandable(true);		return splitP;	}