patchNumbers = generateNumbers(1, 31, "00");
patchNumbers = DriverUtil.generateNumbers(1, 31, "00");
    public KawaiK4EffectDriver() {	super("Effect", "Gerrit Gehnen");        sysexID = "F040**2*0004";	patchSize	= HSIZE + SSIZE + 1;        patchNameStart	= 0;        patchNameSize	= 0;        deviceIDoffset	= 2;        checksumStart	= HSIZE;	checksumEnd	= HSIZE + SSIZE - 2;	checksumOffset	= HSIZE + SSIZE - 1;        bankNumbers = new String[] {	    "0-Internal", "1-External"	};	// Is this correct? BulkConverter has 32 patches.	/*        patchNumbers = new String[31];        for (int i = 0; i < 31; i++)            patchNumbers[i] = String.valueOf(i + 1);	*/        patchNumbers = generateNumbers(1, 31, "00");    }