json decoder: added support for arrays