public void move() {
if (to_follow != null) { // follow the player
if (!to_follow.isAlive()) remove();
shiftPos(to_follow.x, to_follow.y);
// JGPoint newpos = shiftPos(to_follow.getLastX(),
// to_follow.getLastY() );
// x = newpos.x;
// y = newpos.y;
}
}
