Add length value to locations of offense in JSON formatter