<mapID target="alformats" url="html/io/fileformats.html"/>\r
<mapID target="edit" url="html/editing/index.html"/>\r
<mapID target="jalarchive" url="html/features/jalarchive.html"/>\r
<mapID target="alformats" url="html/io/fileformats.html"/>\r
<mapID target="edit" url="html/editing/index.html"/>\r
<mapID target="jalarchive" url="html/features/jalarchive.html"/>\r