Update to Java 17

This satisfies one of the updated requirements of Panda v7 - as of
guardian/pan-domain-authentication#150 it
requires Java 11.

See also:

* guardian/maintaining-scala-projects#3
* guardian/maintaining-scala-projects#8

.github/workflows/ci.yml

@@ -34,7 +34,7 @@ jobs:
       - name: Setup Java
         uses: actions/setup-java@v3
         with:
-          java-version: '8'
+          java-version: '17'
           distribution: 'corretto'
           cache: 'sbt'
 

.java-version

@@ -1 +1 @@
-1.8
+17

build.sbt

@@ -9,7 +9,7 @@ lazy val scalaVer = "2.12.19"
 resolvers ++= Resolver.sonatypeOssRepos("releases")
 
 scalacOptions ++= Seq(
-  "-target:jvm-1.8",
+  "-release:17",
   "-encoding", "UTF-8",
   "-unchecked",
   "-deprecation",

riff-raff.yaml

@@ -15,7 +15,7 @@ deployments:
     parameters:
       amiTags:
         BuiltBy: amigo
-        Recipe: editorial-tools-focal-java8-ARM-WITH-cdk-base
+        Recipe: editorial-tools-focal-java17
         AmigoStage: PROD
       amiEncrypted: true
       prependStackToCloudFormationStackName: false