some java code about encode/decode json string