Build #153:   upgrade wartremover on branch master over 9 years ago