if (!found.isEmpty() && found.size() < 4) { BugInstance bug = new BugInstance(this, "SF_SWITCH_FALLTHROUGH", NORMAL_PRIORITY) .addClassAndMethod(this).addAnnotations(found); bugReporter.reportBug(bug);  }
	public void visit(Code obj) {		reachable = false;		lastPC = 0;		switchHdlr = new SwitchHandler();		super.visit(obj);	}