// no validation needed
}
public void saveParam (Object obj) throws Exception {
OptionsParam options = (OptionsParam) obj;
SpiderParam param = (SpiderParam) options.getParamSet(SpiderParam.class);
param.setMaxDepth(getSliderMaxDepth().getValue());
param.setThread(getSliderThreads().getValue());
param.setSkipURL(getTxtSkipURL().getText());
param.setScope(getTxtScope().getText());
param.setPostForm(getChkPostForm().isSelected());
}