Temporary workaround for travis-ci/travis-ci#3067

* somehow jruby19 went on to use 9k...