Fix Android JSONTokener problem