Use default jvm option in CircleCI