Use Travis default (settings in .jvmopts, .sbtops)