Eclipse SWT: Cum se poate seta poziția caracterului "caret" într-un widget Text

Astăzi lucram cu un widget Text (org.eclipse.swt.widgets.Text) și am avut nevoie să setez manual poziția caret-ului după un apel al metodei setText().
Am descoperit în Javadoc metoda getCaretPosition(), care returnează un int, însă API-ul nu oferă și o metodă setCaretPosition().
Căutând pe Internet soluții la problema mea, am găsit post-uri despre cum se poate muta caret-ul la sfârșitul textului, folosind metoda setSelection(int start):

textWidget.setSelection(textWidget.getText().length());

unde textWidget este o instanță a clasei Text. Pentru mai multe detalii, vezi post-ul de pe StackOverflow.
De asemenea, API-ul ofera o variantă overloaded a metodei setSelection(int start), sub forma setSelection(int start, int end), indecșii start și end corespunzând poziției caret-ului.
Astfel, am scris următoarea soluție:

int caretPosition = textWidget.getCaretPosition();
textWidget.setText( newValue );
textWidget.setSelection( caretPosition, caretPosition );

Prin acest truc am setat poziția caret-ului la valoarea anterioară apelului metodei setText(), stabilind o selecție vidă.
Încă nu mi-e clar dacă simplul fapt că am fost nevoit să resetez manual poziția caret-ului indică un design defectuos sau nu, dar sper să revin cu un răspuns.

Ștergerea elementelor unei liste în timpul iterării

Începând cu Java 1.5, avem la dispoziție forma for-each a clasicului ciclu for. Aceasta ne ajută să iterăm rapid o colecție, astfel:

for (String element : list) {

   System.out.println(element);

}

unde variabila list a fost declarată și inițializată astfel:

List<String> list = new ArrayList<>() { {

      add("Luni");

      add("Marti");

      add("Miercuri");

      add("Party");

      add("Joi");

      add("Vineri");

   }

};

ACTUALIZARE: Se pare că varianta aceasta de adăugare a elementelor e un anti-pattern, deci nu e bine să o folosim. Detalii aici:
http://blog.jooq.org/2014/12/08/dont-be-clever-the-double-curly-braces-anti-pattern/

O problemă devenită deja clasică este ștergerea de elemente în timpul iterării. Dacă în interiorul ciclului for scriem ceva de genul:

for (String element : list) {

   if (element.equals("Party")) {

      list.remove(element);

   }

}

se aruncă la runtime o excepție java.util.ConcurrentModificationException.

Nu putem folosi forma for-each a ciclului for pentru a șterge elemente în timpul iterării, dar avem la dispoziție interfața java.util.Iterator, care expune metoda remove(). Aceasta se dovedește a fi exact ce avem nevoie:

for (Iterator<String> iterator = list.iterator(); iterator.hasNext();) {

   if (iterator.next().equals("Party")) {

      iterator.remove();

   }

}

Metoda remove() șterge ultimul element returnat de metoda next(), declarată în interfața Iterator. Totuși, trebuie să ținem cont de faptul că această operație este opțională, după cum se menționează în Javadoc. În concluzie, atunci când folosim iteratori putem atât să iterăm colecția, cât și să ștergem elementele acesteia.