adjusted travis jvm options