public ScrollBarLookupWidget(String label, Patch patch, int min, int max,
public ScrollBarLookupWidget(String label, IPatch patch, int min, int max,
    public ScrollBarLookupWidget(String label, Patch patch, int min, int max,				 int labelWidth,				 ParamModel pmodel, SysexSender sender,				 String[] options) {	super(label, patch, min, max, pmodel, sender);	this.options = options;	this.labelWidth = labelWidth;	createWidgets();	layoutWidgets();    }