Game option defaults as properties: SOCServer +PROP_JSETTLERS_GAMEOPT_PREFIX, init_propsCheckGameopts. parseCmdline_GameOption: optsAlreadySet optional, javadocs