Included latest changes in Rinex navigation.

src/main/java/org/orekit/tutorials/propagation/GNSSPropagation.java

@@ -36,7 +36,7 @@ import org.orekit.gnss.navigation.RinexNavigationParser;
 import org.orekit.propagation.SpacecraftState;
 import org.orekit.propagation.analytical.gnss.GNSSPropagator;
 import org.orekit.propagation.analytical.gnss.GNSSPropagatorBuilder;
-import org.orekit.propagation.analytical.gnss.data.GPSNavigationMessage;
+import org.orekit.propagation.analytical.gnss.data.GPSLegacyNavigationMessage;
 import org.orekit.time.AbsoluteDate;
 
 /**
@@ -82,7 +82,7 @@ public class GNSSPropagation {
 
         // Access the navigation message of GPS 03 satellite
         final String               satId   = "G03";
-        final GPSNavigationMessage message = getNavigationMessage(satId, file);
+        final GPSLegacyNavigationMessage message = getNavigationMessage(satId, file);
 
         // Build a GNSS orbit propagator
         final GNSSPropagator propagator = new GNSSPropagatorBuilder(message).build();
@@ -132,11 +132,11 @@ public class GNSSPropagation {
      * @param file navigation file
      * @return the corresponding navigation message
      */
-    private static GPSNavigationMessage getNavigationMessage(final String satId,
-                                                             final RinexNavigation file) {
+    private static GPSLegacyNavigationMessage getNavigationMessage(final String satId,
+                                                                   final RinexNavigation file) {
 
         // Access the navigation message
-        final GPSNavigationMessage message = file.getGPSNavigationMessages(satId).get(0);
+        final GPSLegacyNavigationMessage message = file.getGPSLegacyNavigationMessages(satId).get(0);
 
         // Print few data
         System.out.println("Navigation data for satellite " + satId + " :");