commit a1852ed328290297454d87690b615d649bc6f02d
author Larry Isaacs <Larry.Isaacs@sas.com> Sun May 25 13:10:18 2014 -0400
committer Larry Isaacs <Larry.Isaacs@sas.com> Sun May 25 13:10:18 2014 -0400
tree aafc25575514ece0203ac81f6ca88b5a5aad5f33
parent 1da70eb89df229fd6b8047e94cd95d0f857ddcbf

[423759] Finish implementation for the "Serve modules without
publishing" feature for Tomcat 8

releng.servertools/maps/jst-server.map

diff --git a/releng.servertools/maps/jst-server.map b/releng.servertools/maps/jst-server.map
index bffae1d..5015bf1 100644
--- a/releng.servertools/maps/jst-server.map
+++ b/releng.servertools/maps/jst-server.map
@@ -10,7 +10,7 @@
 plugin@org.eclipse.jst.server.generic.core=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.core
 plugin@org.eclipse.jst.server.generic.ui=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.ui
 
-plugin@org.eclipse.jst.server.tomcat.core=GIT,tag=v20140521_1735,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.core
+plugin@org.eclipse.jst.server.tomcat.core=GIT,tag=v20140525_1310,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.core
 plugin@org.eclipse.jst.server.tomcat.ui=GIT,tag=v20131130_1502,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.ui
 
 plugin@org.eclipse.jst.server.generic.jonas=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.jonas