Update min JDK for Solana and Sunbeam from 11 to 19 (#451)

Author: srunquist-certora

docs/move/installation.rst

@@ -22,8 +22,8 @@ Installing the Sui Prover
    If you already have Python3 installed, you can check the version: ``python3 --version``.
    If you need to upgrade, follow these instructions in the
    `Python Beginners Guide <https://wiki.python.org/moin/BeginnersGuide/Download>`_.
-#. Next, install Java. Check your Java version: ``java -version``.
-   If the version is < 11, download and install Java version 11 or later from
+#. Next, install Java. Check your Java version: ``java --version``.
+   If the version is lower than 19, download and install Java version 19 or later from
    `Oracle <https://www.oracle.com/java/technologies/downloads/>`_.
 #. Then, install the Certora Prover: ``pip3 install certora-cli``.
 

docs/sunbeam/installation.rst

@@ -22,8 +22,8 @@ Installing Sunbeam
    If you already have Python3 installed, you can check the version: ``python3 --version``.
    If you need to upgrade, follow these instructions in the
    `Python Beginners Guide <https://wiki.python.org/moin/BeginnersGuide/Download>`_.
-#. Next, install Java. Check your Java version: ``java -version``.
-   If the version is < 11, download and install Java version 11 or later from
+#. Next, install Java. Check your Java version: ``java --version``.
+   If the version is lower than 19, download and install Java version 19 or later from
    `Oracle <https://www.oracle.com/java/technologies/downloads/>`_.
 #. Then, install the Certora Prover: ``pip3 install certora-cli``.