The management of jvm_options is really tough