JSON encoder/decoder on Julia