view.getTextArea().setCaretPosition(pos);
SwingUtilities.invokeLater(new Runnable() { public void run() { view.getTextArea().setCaretPosition(pos); } });
	public void setCaretPosition(int pos) throws RemoteException	{		view.getTextArea().setCaretPosition(pos);	}