text.setText("");
	public void setText(String content) throws XMLDBException {		text.setText(content);		text.setCaretPosition(0);		text.scrollToCaret();		statusMessage.setText("Loaded " + resource.getId());	}