Here is the comment that would appear above WidgetKind.constructor:
/**
* The constructor used to instantiate a widget of this kind.
* We first look for a constructor that accepts a GUIWorkspace,
* in addition to a WidgetKey and a StateUpdater. If not present,
* we look for one accepting only the first two classes.
*/
Here is the comment that would appear above
WidgetKind.constructor
: