sawSwitch(pc); } else if (seen == MONITORENTER) { sawMonitorEnter(pc); } else if (seen == MONITOREXIT) { sawMonitorExit(pc);
sawSwitch(pc); } else if (seen == Const.MONITORENTER) { sawMonitorEnter(pc); } else if (seen == Const.MONITOREXIT) { sawMonitorExit(pc);