Drop support for JDK17 (#634)

Remove JDK17 testing from the build.

Author: stephenamar-db

.github/workflows/pr-build.yaml

@@ -11,7 +11,7 @@ jobs:
       fail-fast: false
       matrix:
         lang: ['jvm', 'js', 'wasm', 'native']
-        java: ['17', '21', '25']
+        java: ['21', '25']
     name: Sjsonnet build for ${{ matrix.lang }} on JDK ${{ matrix.java }}
     steps:
       - uses: actions/checkout@v6

.mill-jvm-opts

@@ -1,4 +1,5 @@
-//| mill-version: 1.1.2-jvm
+//| mill-version: 1.1.2
+//| mill-jvm-opts: ["-XX:+UseG1GC", "-Xmx4G", "--enable-native-access=ALL-UNNAMED"]
 //| mvnDeps:
 //| - com.lihaoyi::mill-contrib-jmh:$MILL_VERSION
 //| - com.lihaoyi::mill-contrib-versionfile:$MILL_VERSION