public LocatorImpl(Locator other) { documentOffset = other.getDocumentOffset(); lineCharacterOffset = other.getLineCharacterOffset(); lineDocumentOffset = other.getLineDocumentOffset(); lineLength = other.getLineLength(); lineNumber = other.getLineNumber(); lineSegmentEndOffset = other.getLineSegmentEndOffset(); }