Update min JDK from 11 to 19 (#448)

Author: srunquist-certora

docs/user-guide/install.md

@@ -24,14 +24,14 @@ Step 1: Prerequisites
 </details>
 
 <details>
-  <summary>Java Development Kit (JDK) 11 or newer</summary>
+  <summary>Java Development Kit (JDK) 19 or newer</summary>
 
   Check your Java version by executing the following command on the terminal:
   ```bash
-  java -version
+  java --version
   ```
 
-  If the version is < 11, download and install Java version 11 or later from
+  If the version is lower than 19, download and install Java version 19 or later from
   [Oracle](https://www.oracle.com/java/technologies/downloads/).
 </details>