Bookmark bug with new lines

[matthew11]

The bug reproducable, exists even in the demo app on the project page.

Steps to reproduce the bug:

1. Load / Paste any text.
2. Place a bookmark somewhere
3. Create a new line at the beginning of the bookmarked line
4. Create a new line at the end of the bookmarked line

What happens: The bookmark follows the caret to the new line, and every other new line created afterwards.

What is the expected behavior: The bookmark should remain its position

Version: latest stable

System: java version "1.7.0_25" OpenJDK Runtime Environment (IcedTea 2.3.10) (7u25-2.3.10-1ubuntu0.12.04.2) OpenJDK Server VM (build 23.7-b01, mixed mode) Ubuntu 12.04 and Mint 15