public static void defaultCmdLineOptionHandler(CmdLineOption option, Stella_Object value) {
    { String property = option.configurationProperty;
      Stella_Object defaultvalue = option.defaultValue;

      if (property == null) {
        property = "";
        { StringWrapper key = null;
          Cons iter000 = option.keys;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            key = ((StringWrapper)(iter000.value));
            if ((StringWrapper.unwrapString(key)).length() > property.length()) {
              property = key.wrapperValue;
            }
          }
        }
      }
      if ((defaultvalue == null) &&
          (option.valueType == Stella.SGT_STELLA_BOOLEAN)) {
        defaultvalue = Stella.TRUE_WRAPPER;
      }
      if (value == null) {
        value = defaultvalue;
      }
      if (option.multiValuedP) {
        if (Stella_Object.safePrimaryType(value) == Stella.SGT_STELLA_CONS) {
          { Cons value000 = ((Cons)(value));

            { Stella_Object val = null;
              Cons iter001 = value000;

              for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                val = iter001.value;
                Stella.addConfigurationProperty(property, val, null);
              }
            }
          }
        }
        else {
          Stella.addConfigurationProperty(property, value, null);
        }
      }
      else {
        Stella.setConfigurationProperty(property, value, null);
      }
    }
  }