Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Apparently Travis CI is moving to a new distribution that does not support all our JDKs so let's force it to use the old distribution.
- Loading branch information