Poke PR builder - had to update sbt launcher version in Jenkins