<!ELEMENT extension (environment+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT environment EMPTY>
<!ATTLIST environment
id CDATA #REQUIRED
profile CDATA #REQUIRED>
org.eclipse.jdt.launching.executionEnvironments.org.osgi.framework.system.packages e org.osgi.framework.bootdelegation.executionEnvironments:
No exemplo acima, o ID corresponde ao ID de um elemento<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment declarado numa extensão org.eclipse.jdt.launching.executionEnvironments.
O perfil JRE para este ambiente de execução está localizado em profiles/J2SE-1.4.profile no plug-in de declaração.
Copyright (c) 2006 IBM Corporation e outros.
Todos os direitos reservados. Este programa e os materiais que o acompanham estão disponíveis sob os termos da Eclipse Public License v1.0 que acompanha esta distribuição e está disponível em http://www.eclipse.org/legal/epl-v10.html.