A set of widgets to be used in the Eclipse plugin.
@since Ptolemy II 6.1