Android: Made getText() HTML encoding the default