Rison encoder and decoder for the Jackson streaming JSON processor