я пробовал
s=Normalizer.normalize(s, Normalizer.Form.NFD).replaceAll("[^\\p{ASCII}]", "");
Но похоже, что GWT API не предоставляет такой функции.
Я пробовал также:
s=s.replace("é",e);
Но это тоже не работает
Сценарий: я пытаюсь выделить токен из текста виджета, по которому щелкнули, для управления историей