picking an object encoder for json output