multiple PRs are green on Jenkins, red on Travis-CI

(list has been edited based on comments below)

* https://github.com/scala/scala/pull/7369
* https://github.com/scala/scala/pull/7133 second-to-last commit
* ~~https://github.com/scala/scala/pull/7368~~ never mind
* https://github.com/scala/scala/pull/7199