*/
	public void showLine(int line) {		JTextPane pane = frame.sourceCodeTextPane;		Document doc = pane.getDocument();		Element element = doc.getDefaultRootElement().getElement(line-1);		pane.setCaretPosition(element.getStartOffset());	}