option('launcher_os', type : 'combo', choices : [ 'detect', 'windows', 'linux', 'osx', 'unknown' ], value : 'detect') option('launcher_arch', type : 'string') option('launcher_jre_arch', type : 'string')