Test: Encode Mina to JSON