Update JsonIO.hh