am 79cf885d: Merge "Too much merging. Revert "Bumping jb cts and cts verifier...
am 79cf885d: Merge "Too much merging. Revert "Bumping jb cts and cts verifier version."" into jb-dev
* commit '79cf885d':
Too much merging. Revert "Bumping jb cts and cts verifier version."