Travis: set JAVA_OPTS dynamically