Tests for jump, not yet run due to slow jUnit