changes to generate directly String.format("{ %s:\"%s\" }" ..., i.e. c:"TS" , instead of using an intermediate form of c:TS