scala_2_13: use latest JDK
scala_2_13: use latest JDK

Java 17 and 18 are supported since 2.13.7:

    https://docs.scala-lang.org/overviews/jdk-compatibility/overview.html

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs