option to have jsonFilter use a user-specified json encoder; 1.3.2