flush();
	public void visit(Method method) {		flush();		String cName = getDottedClassName();		stack.resetForMethodEntry(this);				isPublicStaticVoidMain = method.isPublic() && method.isStatic()		        && getMethodName().equals("main")		        || cName.toLowerCase().indexOf("benchmark") >= 0;		prevOpcodeWasReadLine = false;		pendingRemOfRandomIntBug = null;		Code code = method.getCode();		if (code != null)			this.exceptionTable = code.getExceptionTable();		if (this.exceptionTable == null)			this.exceptionTable = new CodeException[0];		primitiveObjCtorSeen = null;		ctorSeen = false;		randomNextIntState = 0;		checkForBitIorofSignedByte = false;	}