We need to add class invariants, add test methods and change te method
getJumpTime. We also need to change a lot of documentation to effect...