get rid of deprecated Json::Reader
get rid of deprecated Json::Reader

grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas