refresh coverity instructions