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) {
last_state = state;
last_from_receiver = from_receiver;
last_receiver = receiver;
}
public void update_ui(AltosState state, AltosGreatCircle from_receiver, Location receiver, boolean is_current) {
last_state = state;
last_from_receiver = from_receiver;
last_receiver = receiver;