// Jumper$Ego.java [dynamic]

public class Jumper$Ego

{

  void Jump(Jumper host, int x, int y, int alt) {

    if ( host.CheckDistance(x, y) ) {

      host.SprintTo( x, y );

      host.LiftOff( alt );

      host.Land();

    }

  }

  public Jumper$Ego(Shrink shrink)

  { shrink.register_personality( "Jumper" ); }

}