modified json format to be the same as that produced by the batch
javascript parser