The PATENTS file doesn't explicitly state "litigants may continue to use the IP under the BSD license". What it does explicitly say is "litigants lose the patent rights", which in essence serves to revoke the BSD license. Can't have it both ways.