From ec09778b132b3403759aba4a8f567e63528df6e9 Mon Sep 17 00:00:00 2001
From: Ben Galaviz
Date: Thu, 23 Feb 2012 15:55:08 -0600
Subject: add new jetty releases
---
.../plugin.properties | 10 ++
org.eclipse.jst.server.jetty.core/plugin.xml | 121 ++++++++++++++++++++-
.../jetty/core/internal/JettyVersionManager.java | 4 +-
org.eclipse.jst.server.jetty.ui/plugin.xml | 28 +++++
4 files changed, 159 insertions(+), 4 deletions(-)
diff --git a/org.eclipse.jst.server.jetty.core/plugin.properties b/org.eclipse.jst.server.jetty.core/plugin.properties
index 69fb32d..6f3eb0c 100644
--- a/org.eclipse.jst.server.jetty.core/plugin.properties
+++ b/org.eclipse.jst.server.jetty.core/plugin.properties
@@ -25,6 +25,12 @@ runtimeTypeJetty73Description=Jetty v7.3 supports J2EE 1.2, 1.3, 1.4, and Java E
runtimeTypeJetty74Label=Jetty v7.4
runtimeTypeJetty74Description=Jetty v7.4 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules.
+runtimeTypeJetty74Label=Jetty v7.5
+runtimeTypeJetty74Description=Jetty v7.5 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules.
+
+runtimeTypeJetty74Label=Jetty v7.6
+runtimeTypeJetty74Description=Jetty v7.6 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules.
+
runtimeTypeJetty80Label=Jetty v8.x
runtimeTypeJetty80Description=Jetty v8.0 supports J2EE 1.2, 1.3, 1.4, and Java EE 5 and 6 Web modules.
@@ -37,6 +43,10 @@ jetty73ServerType=Jetty v7.3 Server
jetty73ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server.
jetty74ServerType=Jetty v7.4 Server
jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server.
+jetty74ServerType=Jetty v7.5 Server
+jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server.
+jetty74ServerType=Jetty v7.6 Server
+jetty74ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server.
jetty80ServerType=Jetty v8.0 Server
jetty80ServerDescription=Publishes and runs J2EE and Java EE Web projects and server configurations to a local Jetty server.
diff --git a/org.eclipse.jst.server.jetty.core/plugin.xml b/org.eclipse.jst.server.jetty.core/plugin.xml
index 90f42f9..bd7329e 100644
--- a/org.eclipse.jst.server.jetty.core/plugin.xml
+++ b/org.eclipse.jst.server.jetty.core/plugin.xml
@@ -80,7 +80,41 @@
versions="1.0">
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
@@ -312,6 +383,30 @@
version="1.0"/>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+