[eside-ghost] Cambiar jdk en eclipse

JammyZ jammyz en gmail.com
Dom Ago 13 20:37:29 CEST 2006


Me imagino que sera lo mismo que lo que ya han dicho pero yo en Linux accedo
desde Window->Preferences->Java->Installed JREs.
Ahi tienes todas las JRE que has instalado en Eclipse y cual es la que se
esta usando por defecto

On 8/13/06, erzapito <erzapito en gmail.com> wrote:
>
> 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
>
> _______________________________________________
> eside-ghost mailing list
> eside-ghost en deusto.es
> https://listas.deusto.es/mailman/listinfo/eside-ghost
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: https://listas.deusto.es/mailman/private/eside-ghost/attachments/20060813/d1da125e/attachment.htm


Más información sobre la lista de distribución eside-ghost