bugReporter.reportBug(new BugInstance(this, "SF_SWITCH_FALLTHROUGH", LOW_PRIORITY)
bugReporter.reportBug(new BugInstance(this, "SF_SWITCH_FALLTHROUGH", NORMAL_PRIORITY)
	public void sawOpcode(int seen) {		if (reachable && switchHdlr.isOnSwitchOffset(this)) {			if (!hasFallThruComment(lastPC + 1, getPC() - 1))				bugReporter.reportBug(new BugInstance(this, "SF_SWITCH_FALLTHROUGH", LOW_PRIORITY)        			.addClassAndMethod(this)        			.addSourceLineRange(this, lastPC, getPC()));		}				switch (seen) {			case TABLESWITCH:			case LOOKUPSWITCH:				reachable = false;				switchHdlr.enterSwitch(this);				break;					case ATHROW:			case RETURN:			case ARETURN:			case IRETURN:			case LRETURN:			case DRETURN:			case FRETURN:			case GOTO_W:			case GOTO:				reachable = false;				break;			default:				reachable = true;		}				lastPC = getPC();	}