This should help "Mark Occurrence" to feel "snappy" also with high
number of scheduled jobs, of course with no guarantee.

See discussion on
https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/2323