Superclass: BoxMorph

Class definition of XenoMorph in lively/Widgets.js:3439