Added spec for json formatter