[eside-ghost] Cambiar jdk en eclipse

[erzapito]

luis conde escribió:
> Buenos dias:
>
> ¿Alguien sabe como se cambia la JDK con la que interpreta eclipse (en 
> Windows)?
>
> Gracias
> ------------------------------------------------------------------------
>
> _______________________________________________
> eside-ghost mailing list
> eside-ghost en deusto.es
> https://listas.deusto.es/mailman/listinfo/eside-ghost
para añadir una JRE:
* Menu Window->Preferences...
* Java -> Installed JREs -> Add...

para ejecutar con una JRE diferente de la de por defecto:
* Menu Run -> Run...
* Pestaña JRE -> Alternate JRE

para cambiar la JRE de un proyecto:
* Menu Project -> Properties...
* Java Build Path -> Libraries -> Add Library -> JRE SystemLibrary