public RemoteBuffer openFile(RemoteView view, String parent, String path, boolean readOnly, boolean newFile)
public RemoteBuffer openFile(final RemoteView view, final String parent, final String path, final boolean readOnly, final boolean newFile)
	public RemoteBuffer openFile(RemoteView view, String parent, String path,		boolean readOnly, boolean newFile)		throws RemoteException	{		return new RemoteBufferImpl(jEdit.openFile(			view == null ? null : jEdit.getView(view.getUID()),			parent,path,readOnly,newFile));	}