Android json encoding final fix.