fix play-json on JDK 8

Author: SethTisue

proj/play-json.conf

@@ -1,13 +1,13 @@
-// https://github.com/playframework/play-json.git#main
+// https://github.com/playframework/play-json.git#2396ede2c8d129867ad90b8fa0f503ee74276ec5  # was main
+
+// frozen (October 2022) at a known-green commit before JDK 8 support
+// was dropped; normally that would be fine but the project won't even
+// extract on JDK 8, which we can't accommodate (not without forking
+// and work, anyway)
 
 vars.proj.play-json: ${vars.base} {
   name: "play-json"
-  uri: "https://github.com/playframework/play-json.git#582c2b6eedc3eb7cf6adada4bdb9f63cb4c266b8"
+  uri: "https://github.com/playframework/play-json.git#2396ede2c8d129867ad90b8fa0f503ee74276ec5"
 
   extra.projects: ["play-jsonJVM"]  // no Scala.js plz
-  extra.settings: ${vars.base.extra.settings} [
-    // resolve version conflict (from sbt-scoverage, probably?)
-    // one-deeper nesting level makes it apply to build definition
-    ["""ThisBuild / libraryDependencySchemes += "org.scala-lang.modules" %% "scala-xml" % VersionScheme.Always"""]
-  ]
 }