public void SetJumpListener(JumpListener listener) { this.listener = listener; }
public void SetJumpListener(JumpListener l) { this.listener = l; }