2.13.17 regression or progression? Ammonite failing in community build

[SethTisue]

@lrytz @som-snytt since scala/scala#11124 was merged, Ammonite is failing in the Scala 2 community build

https://scala-ci.typesafe.com/job/scala-2.13.x-jdk25-integrate-community-build/88/artifact/logs/ammonite-build.log

[ammonite] [error] /home/jenkins/workspace/scala-2.13.x-jdk25-integrate-community-build/target-0.9.20/project-builds/ammonite-93ee6f320a7b94f6a6759a16005a72b2833026d2/amm/repl/src/main/scala/ammonite/repl/FrontEnds.scala:190:7: `override` modifier required to override concrete member:
[ammonite] [error] <defaultmethod> def setErrorIndex(x$1: Int): Unit (defined in trait Highlighter)
[ammonite] [error]   def setErrorIndex(x$1: Int): Unit = ()
[ammonite] [error]       ^
[ammonite] [error] /home/jenkins/workspace/scala-2.13.x-jdk25-integrate-community-build/target-0.9.20/project-builds/ammonite-93ee6f320a7b94f6a6759a16005a72b2833026d2/amm/repl/src/main/scala/ammonite/repl/FrontEnds.scala:191:7: `override` modifier required to override concrete member:
[ammonite] [error] <defaultmethod> def setErrorPattern(x$1: java.util.regex.Pattern): Unit (defined in trait Highlighter)
[ammonite] [error]   def setErrorPattern(x$1: java.util.regex.Pattern): Unit = ()
[ammonite] [error]       ^

I haven't looked at the code to see if it might actually be a progression

[som-snytt]

I'm annoyed by the extra noise in the Scala 3 build caused by the encroachment of the lihaoyi cinematic universe, but I'll take a look before Lukas has to and in case I broke something. Probably I should not assume that upgrading to JDK 25 is unrelated?

[som-snytt]

Oh it's the jline3 Highlighter. Those methods switched from abstract to default.

jline/jline3@32cde89#diff-856698324f17718a8e7194484efaf348c379a35e4e410e8663c0714287dfcfc1

Edit: also OMG

I'll let Seth tell him it's JavaDoc but Scaladoc.

[lrytz]

Thanks @som-snytt!

scala/community-build@094b1d7 / scalacommunitybuild/Ammonite@800b358