From b6a14c1a2190f52ace5d4c756204731e4a8cb4a4 Mon Sep 17 00:00:00 2001 From: Roberto Sanchez Date: Tue, 5 Mar 2013 16:35:55 -0600 Subject: [401742] Server starts unnecessarily when removing projects from the workspace --- releng.jeetools/maps/jst-j2ee-basic.map | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/releng.jeetools/maps/jst-j2ee-basic.map b/releng.jeetools/maps/jst-j2ee-basic.map index b0f55ce2c..8507c23b0 100644 --- a/releng.jeetools/maps/jst-j2ee-basic.map +++ b/releng.jeetools/maps/jst-j2ee-basic.map @@ -8,7 +8,7 @@ plugin@org.eclipse.jst.j2ee.navigator.ui=GIT,tag=v201203142300,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.navigator.ui plugin@org.eclipse.jst.j2ee.ui=GIT,tag=v201205170400,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.ui -plugin@org.eclipse.jst.j2ee=GIT,tag=v201301092200,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee +plugin@org.eclipse.jst.j2ee=GIT,tag=v201303052300,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee plugin@org.eclipse.jst.j2ee.core=GIT,tag=v201205030130,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.core plugin@org.eclipse.jst.j2ee.web=GIT,tag=v201212130700,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.web plugin@org.eclipse.jst.servlet.ui=GIT,tag=v201202011057,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.servlet.ui -- cgit v1.2.3