summaryTopPanel.setLayout(new GridLayout(0,1));
summaryTopPanel.setLayout(new BoxLayout(summaryTopPanel, BoxLayout.Y_AXIS));
	Component summaryTab()	{		int fontSize = (int) Driver.getFontSize();		summaryTopPanel = new JPanel();		summaryTopPanel.setLayout(new GridLayout(0,1));		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);		JSplitPane splitP = new JSplitPane(JSplitPane.VERTICAL_SPLIT, false, 				new JScrollPane(temp), summaryHtmlScrollPane);		splitP.setDividerLocation(0.5);		splitP.setOneTouchExpandable(true);		return splitP;	}