Bugfix: clear bookmarks before deleting lines since intellij doesn't handle that properly