if (DEBUG) System.out.println("  invoking " + callSeen);
	public void sawOpcode(int seen) {		if (state == SAW_INVOKE && isPop(seen)) {			CheckReturnValueAnnotation annotation = checkReturnAnnotationDatabase					.getResolvedAnnotation(callSeen, false);			if (annotation != null					&& annotation != CheckReturnValueAnnotation.CHECK_RETURN_VALUE_IGNORE) {				int popPC = getPC();				if (DEBUG)					System.out.println("Saw POP @" + popPC);				int catchSize = getSizeOfSurroundingTryBlock(popPC);				int priority = annotation.getPriority();				if (catchSize <= 1)					priority += 2;				else if (catchSize <= 2)					priority += 1;				if (!checkReturnAnnotationDatabase.annotationIsDirect(callSeen)						&& !callSeen.getSignature()								.endsWith(										callSeen.getClassName().replace('.',												'/')												+ ";"))					priority++;				BugInstance warning = new BugInstance(this,						"RV_RETURN_VALUE_IGNORED", priority).addClassAndMethod(						this).addMethod(className, methodName, signature,						seen == Constants.INVOKESTATIC).describe(						"METHOD_CALLED").addSourceLine(this, callPC);				bugReporter.reportBug(warning);			}			state = SCAN;		} else if (INVOKE_OPCODE_SET.get(seen)) {			callPC = getPC();			className = getDottedClassConstantOperand();			methodName = getNameConstantOperand();			signature = getSigConstantOperand();			callSeen = XFactory.createXMethod(className, methodName, signature,					seen == INVOKESTATIC);			state = SAW_INVOKE;		} else			state = SCAN;		if (seen == NEW) {			previousOpcodeWasNEW = true;		} else {			if (seen == INVOKESPECIAL && previousOpcodeWasNEW) {				CheckReturnValueAnnotation annotation = checkReturnAnnotationDatabase						.getResolvedAnnotation(callSeen, false);				if (annotation != null						&& annotation != CheckReturnValueAnnotation.CHECK_RETURN_VALUE_IGNORE) {					int priority = annotation.getPriority();					if (!checkReturnAnnotationDatabase							.annotationIsDirect(callSeen)							&& !callSeen.getSignature().endsWith(									callSeen.getClassName().replace('.', '/')											+ ";"))						priority++;					bugReporter.reportBug(new BugInstance(this,							"RV_RETURN_VALUE_IGNORED", priority)							.addClassAndMethod(this).addCalledMethod(this).describe(									"METHOD_CALLED").addSourceLine(this));				}							}			previousOpcodeWasNEW = false;		}	}