{
super(option, initialValue);
HTMLPanel panel = new HTMLPanel("");
defaultValue_ = Float.parseFloat(option.getDefaultValue());
panel.add(getOptionLabelWidget());
txtValue_ = new NumericTextBox();
if (initialValue.equals("null"))
txtValue_.setValue(option.getDefaultValue());
else
txtValue_.setValue(initialValue);
txtValue_.setWidth("40px");