private void reportNullDeref(ClassContext classContext, Method method, InstructionHandle exceptionThrowerHandle, String type) {
private void reportNullDeref(ClassContext classContext, Method method, InstructionHandle exceptionThrowerHandle, String type, int priority) {
	private void reportNullDeref(ClassContext classContext, Method method, InstructionHandle exceptionThrowerHandle, String type) {		MethodGen methodGen = classContext.getMethodGen(method);		bugReporter.reportBug(new BugInstance(type, NORMAL_PRIORITY)			.addClassAndMethod(methodGen)			.addSourceLine(methodGen, exceptionThrowerHandle)			.addInt(exceptionThrowerHandle.getPosition()).describe("INT_BYTECODE_OFFSET")		);	}