Revert "Merge branch 'f9805-optionalJump' into 'master'"

Carsten Roserequested to merge
revert-921d3c5b into master

This reverts merge request !228 (merged)

Merge request reports