Buongiorno,

devo cambiare il JRE di Eclipse da JRE 5 a JRE 17.

Vado in Build Path e clicco su Edit poi setto il nuovo JRE e salvo. Però ritorna magicamente a JRE 5.

Perché?

Grazie
Tulipan