Android json encoding fix.