352353354355356357358359360361362
if (displayName != null) param.setDisplayName(displayName); if (options != null) { for (int i=0; i<options.size(); i++) param.addOption((Option)options.get(i)); } if (defaultValue != null) param.setDefaultValue(defaultValue);
8586878889909192939495
gri.tasks.Option newOption = new gri.tasks.Option( option.getDisplayText(), option.getValue() ); newParam.addOption(newOption); } } } //flag (set type)