sourceCodeTextPane.setText("");
sourceCodeTextPane.setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT);
	JPanel createSourceCodePanel()	{		Font sourceFont = new Font("Monospaced", Font.PLAIN, (int)Driver.getFontSize());		sourceCodeTextPane.setFont(sourceFont);		sourceCodeTextPane.setEditable(false);		sourceCodeTextPane.getCaret().setSelectionVisible(true);		sourceCodeTextPane.setText("");		sourceCodeScrollPane = new JScrollPane(sourceCodeTextPane);		sourceCodeScrollPane.getVerticalScrollBar().setUnitIncrement(20);		JPanel panel = new JPanel();		panel.setLayout(new BorderLayout());		panel.add(sourceCodeScrollPane, BorderLayout.CENTER);				panel.revalidate();		if (DEBUG) System.out.println("Created source code panel");		return panel;	}