Control.Checkbox(), call method set_value()of the base class; add function get_default_value()