}
private static Anchor createExecutionLineAnchor(Document document, int lineNumber) {
LineInfo lineInfo = document.getLineFinder().findLine(lineNumber);
Anchor anchor = document.getAnchorManager().createAnchor(EXECUTION_LINE_ANCHOR_TYPE,
lineInfo.line(), lineInfo.number(), AnchorManager.IGNORE_COLUMN);
anchor.setRemovalStrategy(Anchor.RemovalStrategy.SHIFT);
return anchor;
}
}