summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpschonbac2009-05-20 10:19:01 (EDT)
committer sefftinge2009-05-20 10:19:01 (EDT)
commit766ee806e837d34e0c7021795366784354f26537 (patch)
tree8e426e494da47445748cfaf91537fb69aa2242ad
parentb58e8ec64b0cf37b4de206fb64650d11843a41ea (diff)
downloadorg.eclipse.xtext-766ee806e837d34e0c7021795366784354f26537.zip
org.eclipse.xtext-766ee806e837d34e0c7021795366784354f26537.tar.gz
org.eclipse.xtext-766ee806e837d34e0c7021795366784354f26537.tar.bz2
The generated manifest now specifies the execution environment
-rw-r--r--plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/util/EclipseResourceUtil.java1
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/util/EclipseResourceUtil.java b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/util/EclipseResourceUtil.java
index 9000858..e9a5a45 100644
--- a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/util/EclipseResourceUtil.java
+++ b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/util/EclipseResourceUtil.java
@@ -239,6 +239,7 @@ public class EclipseResourceUtil {
}
mainContent.append("\n");
}
+ mainContent.append("Bundle-RequiredExecutionEnvironment: J2SE-1.5\n");
final IFolder metaInf = project.getFolder("META-INF");
metaInf.create(false, true, new SubProgressMonitor(progressMonitor, 1));