import android.location.Location;
import android.app.Activity;
import android.graphics.Color;
import android.location.Location;
import android.app.Activity;
import android.graphics.Color;
}
public void update_ui(AltosState state, AltosGreatCircle from_receiver, Location receiver, boolean is_current) {
}
public void update_ui(AltosState state, AltosGreatCircle from_receiver, Location receiver, boolean is_current) {