public void copyJump(Jump jump) {
		if (this.jump != null)
			throw new AssertError("overriding with moveJump()");
		if (jump != null) {
			this.jump = new Jump(jump);
			this.jump.prev = this;
		}
	}