Sticky Scrolling: Sticky lines are not updated if document is changed e.g. by source cleanup

[wahlbrink]

The sticky lines are not updated, when the document is changed e.g. by the source cleanup of Java:

Note the wrong styling.

Steps to reproduce

1. Open a Java editor
2. Add some unnecessary imports
3. Scroll down to get some sticky lines
4. Execute Source > Clean up... to remove the unnecessary imports

Additional infos

In step 4 the JavaStickyLinesProvider is not called after the cleanup.
-> line numbers in existing StickyLine objects become invalid

Tested under this environment:

Version: 2025-09 (4.37)
Build id: I20250905-0730
on Win 11