prevOpcodeWasReadLine = false;
	public void visit(Method method) {		flush();		String cName = getDottedClassName();		isPublicStaticVoidMain = method.isPublic() && method.isStatic()		        && getMethodName().equals("main")		        || cName.toLowerCase().indexOf("benchmark") >= 0;		// System.out.println("method " + getMethodName() + " is main? " + isPublicStaticVoidMain);		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;	}