public void replace(IRegion range, String text) throws CoreException { replace(range.getOffset(), range.getLength(), text);
public void replace(int offset, int length, String text) throws CoreException { try { fDocument.replace(offset, length, text); } catch (BadLocationException e) { IStatus s= new Status(IStatus.ERROR, JavaPlugin.getPluginId(), IJavaStatusConstants.INTERNAL_ERROR, TextManipulationMessages.getFormattedString( "TextBuffer.wrongRange", new Object[] {new Integer(offset), new Integer(length) } ), e); throw new CoreException(s); }
	public void replace(IRegion range, String text) throws CoreException {		replace(range.getOffset(), range.getLength(), text);	}