def add_options(*opts):
    "Appends options to the list of VM options."
    if vm_running:
        raise ValueError("VM is already running, can't set options")
    global options
    options.extend(opts)
Appends options to the list of VM options.
product/runtime/src/main/python/java/config.py