Merge "42798: lint miscounts String.format()"