In those two alone, Java.

There is no reason I would care about borrow checking implementing a compiler, and besides all the tooling, Java also has stuff like ANTRLR and MPS, and naturally Graal is a good playground for compiler backend tooling.

However in general, I would rather look into OCaml, Haskell, F#, Scala.