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
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
Intendi cambiare il JRE che lancia/esegue il Eclipse in sé ... o il JRE che è usato per un certo progetto? (possono differire)Originariamente inviata da tulipan
devo cambiare il JRE usato per un progetto
Innanzitutto un JRE "nuovo" in Eclipse va inserito nella configurazione globale, sezione Java -> Installed JREs
Se è anche il JRE da usare per nuovi progetti, va marcato il checkbox (indica che è il "default").
Per fare la cosa completa, bisognerebbe anche andare nella sotto-sezione Execution Environments e far corrispondere il JRE ad un Execution Environment. Per dire se hai messo es. un jdk-11.0.13, allora si clicca su JavaSE-11 e si marca che quel jre è il default (e dovrebbe già essere indicato come perfect match).
Se hai un progetto già creato, qui dipende. Nel senso che bisogna vedere che TIPO di progetto è. Se è un progetto "nativo" di Eclipse (es. Java Project), allora si va nel Java Build Path sezione Libraries e si cambia il runtime. Questo però c'entra SOLO con il framework standard a cui fa riferimento.
Va anche verificato nella sezione Java Compiler la compliance level. Potresti mettere un JDK 8 ed avere la compliance level a 11 ... non è molto sensato.
Se invece il progetto è Maven/Gradle, queste cose NON vanno toccate nella configurazione del progetto! Va modificato il file di progetto di Maven/Gradle e poi fatto un update del progetto (per Maven, Maven -> Update Project...)
Se hai una Run Configuration già esistente del progetto (perché già creata/lanciata in precedenza), il suo JRE dovrebbe risultare già "sincronizzato" con le modifiche dette prima. Verifica comunque per sicurezza.
Permessi di invio
Rispondi quotando