Travis CI: remove .jvmopts to use default options