commit 7981783d6d741721ee28fa1c1394d902d89ddf29
author deboer <deboer> Wed Jan 17 19:22:32 2007 +0000
committer deboer <deboer> Wed Jan 17 19:22:32 2007 +0000
tree 08311dfce700bad0224ecb1bb88cb1f7b29bf1b6
parent 6d01705710258212adc2124a94d2d2924b46bdbd

[170702] Add execution environment

plugins/org.eclipse.jst.server.ui/.classpath

diff --git a/plugins/org.eclipse.jst.server.ui/.classpath b/plugins/org.eclipse.jst.server.ui/.classpath
index c41a03c..d2acb1f 100644
--- a/plugins/org.eclipse.jst.server.ui/.classpath
+++ b/plugins/org.eclipse.jst.server.ui/.classpath
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="sjavaui/"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.4"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>