Update jsoncmp.ext.js