Had to go back to Scala 2.9.2 because Isabelle uses this old library.