package altosui;
-import java.awt.*;
-import java.awt.event.*;
-import javax.swing.*;
-import javax.swing.filechooser.FileNameExtensionFilter;
-import javax.swing.table.*;
import java.io.*;
-import java.util.*;
-import java.text.*;
-import java.util.prefs.*;
-import java.util.concurrent.*;
+import org.altusmetrum.AltosLib.*;
public class AltosFlightStats {
double max_height;
}
if (boost_time == -1000)
boost_time = state.time;
- System.out.printf ("boost time %f instead of %f\n", boost_time, state.time);
return boost_time;
}