public Position createPosition(final int offset) throws BadLocationException
public synchronized Position createPosition(final int offset) throws BadLocationException
  public Position createPosition(final int offset) throws BadLocationException  {    return content.createPosition(offset);  }