protected SysexWidget(String l, Patch p, int min, int max,
protected SysexWidget(String l, IPatch p, int min, int max,
    protected SysexWidget(String l, Patch p, int min, int max,			  ParamModel ofs, SysexSender s) {        super();	label = l;	patch = p;	valueMin = min;	valueMax = max;	paramModel = ofs;	sysexSender = s;	// If patch.deviceNum or patch.driverNum can be changed after	// the constructor is called, the following code have to be	// moved to methods which use them.	if (patch != null) {	    device = patch.getDevice();	    driver = patch.getDriver();	}	if (paramModel != null)	    _setValue(paramModel.get());	jlabel = new JLabel(label);    }