Update size and hash for 2.25 RC2.

Author: ChrisJohnNOAA

DEPLOY_INSTALL.md

@@ -212,7 +212,7 @@ ERDDAP™ can run on any server that supports Java and Tomcat (and other applica
 
 4.  [Install the erddap.war file.](#erddap.war)  
     On Linux, Mac, and Windows, download [erddap.war](https://github.com/ERDDAP/erddap/releases/download/v2.25/erddap.war) into _tomcat_/webapps .  
-    (version 2.25, 592,291,131 bytes, MD5=81E1D3985FF85B44ED6C8F01CEEF79B3, dated 2024-10-29) 
+    (version 2.25, 592,291,920 bytes, MD5=BEEBE386A3514C0FB8898C6EA597F40D, dated 2024-10-31)
 
     The .war file is big because it contains high resolution coastline, boundary, and elevation data needed to create maps.
 

DEPLOY_UPDATE.md

@@ -6,7 +6,7 @@
 2.  If you are upgrading from ERDDAP™ version 2.18 or below, you need to switch to Java 21 (or newer) and the related Tomcat 10. See the regular ERDDAP™ installation instructions for [Java](#java) and [Tomcat](#tomcat). You'll also have to copy your _tomcat_/content/erddap directory from your old Tomcat installation to your new Tomcat installation.  
 
 3.  Download [erddap.war](https://github.com/ERDDAP/erddap/releases/download/v2.25/erddap.war) into _tomcat_/webapps .  
-    (version 2.25, 592,291,131 bytes, MD5=81E1D3985FF85B44ED6C8F01CEEF79B3, dated 2024-10-29)   
+    (version 2.25, 592,291,920 bytes, MD5=BEEBE386A3514C0FB8898C6EA597F40D, dated 2024-10-31)
 
 4.  [messages.xml](#messages.xml)
     *   Common: If you are upgrading from ERDDAP™ version 1.46 (or above) and you just use the standard messages, the new standard messages.xml will be installed automatically (amongst the .class files via erddap.war).  

WEB-INF/classes/gov/noaa/pfel/erddap/util/EDStatic.java

@@ -196,7 +196,7 @@ public class EDStatic {
    * 2.22 released on 2022-12-08 <br>
    * 2.23 released on 2023-02-27 <br>
    * 2.24 released on 2024-06-07 <br>
-   * 2.25 first RC on 2024-10-16 released on 2024-10-29 <br>
+   * 2.25 first RC on 2024-10-16 released on 2024-10-31 <br>
    *
    * <p>For main branch releases, this will be a floating point number with 2 decimal digits, with
    * no additional text. !!! In general, people other than the main ERDDAP developer (Bob) should