<!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.