42798: lint miscounts String.format()

Change-Id: Ibd997301864981ceb863a30b36034a784ab13392
4 files changed