#694: helper.py, define 'jsonmerge' method