/*
* For the last line we have no newline character and want to move to
* the line end
*/
if (remainingCharsOnThisLine < numCharsToTraverse) {
throw new PositionOutOfBoundsException(
"Reached the document end, but still wanted to go "
+ (numCharsToTraverse - remainingCharsOnThisLine) + " characters forward.");
} else {
column += numCharsToTraverse;
}