Merged revision(s) 1526155 from lucene/dev/trunk:
LUCENE-5235: This is according to Clover never hit, so be more strict, may help Robert

git-svn-id: https://svn.apache.org/repos/asf/lucene/dev/branches/branch_4x@1526158 13f79535-47bb-0310-9956-ffa450edef68