forwardJumps.add(new ForwardJump(from, to));
forwardJumps.add(new Jump(from, to));
	void addForwardJump(int from, int to) {		if (from >= to) return;		purgeForwardJumps(from);		forwardJumps.add(new ForwardJump(from, to));	}