<!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 extension.org.osgi.framework.system.packages and org.osgi.framework.bootdelegation.executionEnvironments extension:
In the example above, the ID matches the ID of an<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment element declared in an org.eclipse.jdt.launching.executionEnvironments extension.
The JRE profile for this execution environment is located at profiles/J2SE-1.4.profile in the declaring plug-in.
Copyright (c) 2006 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made
available under the terms of the Eclipse Public License v1.0 which
accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html.