Uses of Record Class
org.eclipse.ui.texteditor.stickyscroll.IStickyLinesProvider.StickyLinesProperties