boolean redo;
	public void sawOpcode(int seen) {		boolean redo;				if (DEBUG) System.out.println("Saw opcode " + seen);				do {			redo = false;						switch (state) {			case SCAN:				if (seen == Constants.IDIV) {					if (DEBUG) System.out.println("Saw IDIV @" + getPC());					state = SAW_IDIV;				}				break;							case SAW_IDIV:				if (seen == Constants.I2D) {					if (DEBUG) System.out.println("Saw I2D @" + getPC());					bugReporter.reportBug(new BugInstance(this, "IDCD_IDIV_CAST_TO_DOUBLE", NORMAL_PRIORITY)							.addClassAndMethod(this)							.addSourceLine(this));				} else {					// This instruction might also be an IDIV: process again in SCAN state					redo = true;				}				state = SCAN;				break;						default:				break;			}		} while (redo);	}