docs/org.eclipse.jst.server.ui.doc.user/org.eclipse.jst.server.ui.doc.user.maplist

<maplist version="3.6.2">
  <nav>
    <map file="tomcat_pref.ditamap"/>
    <map file="tomcat_create.ditamap"/>
  </nav>
  <link>
    <map file="jst_reltable.ditamap"/>
  </link>
</maplist>