[207068] removing deprecated context IDs from CSH
diff --git a/releng/maps/jst-doc.map b/releng/maps/jst-doc.map
index 477aada..e5831cc 100644
--- a/releng/maps/jst-doc.map
+++ b/releng/maps/jst-doc.map
@@ -17,7 +17,7 @@
 
 plugin@org.eclipse.jst.j2ee.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.infopop
 plugin@org.eclipse.jst.jsp.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.jst.jsp.ui.infopop
-plugin@org.eclipse.jst.server.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
+plugin@org.eclipse.jst.server.ui.infopop=v200801152313,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
 plugin@org.eclipse.jst.servlet.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.servlet.ui.infopop
 plugin@org.eclipse.jst.ws.axis.infopop=v200708222303,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.jst.ws.axis.infopop
 plugin@org.eclipse.jst.ws.consumption.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.jst.ws.consumption.infopop