Iterator<Articolo> it = treeset.iterator();
while(it.hasNext()){
Articolo art = it.next();
int codice = art.getCodiceArticolo();
if(codiceArticolo == codice)
treeset.remove(art);
rimosso = true;
}
No, se stai usando l'Iterator del TreeSet e vuoi rimuovere un elemento, devi per forza farlo con il remove() del Iterator .... non con il remove della collezione.
Il motivo è ben documentato nel javadoc di TreeSet.