Superclass: BoxMorph

Class definition of CheckBoxMorph in lively/Widgets.js:6040