[71220] JSP source preferences page is missing

archive/org.eclipse.wtp.releng/maps/jst-jsp.map

 !*************** jst-jsp.map
 
 plugin@org.eclipse.jst.jsp.core=v20050418_1245,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.core
-plugin@org.eclipse.jst.jsp.ui=v20050418_1245,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.ui
+plugin@org.eclipse.jst.jsp.ui=v20050418_2340,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/jsp/plugins/org.eclipse.jst.jsp.ui
 
 !***************
\ No newline at end of file

archive/org.eclipse.wtp.releng/maps/wst-xml.map

@@ -8,7 +8,7 @@ plugin@org.eclipse.wst.sse.core=v20050418_1245,:pserver:anonymous@dev.eclipse.or
 plugin@org.eclipse.wst.sse.ui=v20050418_1245,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/sse/plugins/org.eclipse.wst.sse.ui
 
 plugin@org.eclipse.wst.xml.core=v20050418_1245,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.core
-plugin@org.eclipse.wst.xml.ui=v20050418_1524,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.ui
+plugin@org.eclipse.wst.xml.ui=v20050418_2340,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.ui
 plugin@org.eclipse.wst.xml.uriresolver=v20050405_2147,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.uriresolver
 plugin@org.eclipse.wst.xml.uriresolver.ui=v20050418_1245,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.uriresolver.ui
 plugin@org.eclipse.wst.xml.validation=v20050418_2300,:pserver:anonymous@dev.eclipse.org:/home/webtools,,wst/components/xml/plugins/org.eclipse.wst.xml.validation