public void setCaretPosition(int pos) throws RemoteException
public void setCaretPosition(final int pos) throws RemoteException
	public void setCaretPosition(int pos) throws RemoteException	{		view.getTextArea().setCaretPosition(pos);	}