<?xml version='1.0' encoding='ISO-8859-1' ?>
   <!DOCTYPE map
     PUBLIC "-//Sun Microsystems Inc.//DTD JavaHelp Map Version 1.0//EN"
            "http://java.sun.com/products/javahelp/map_1_0.dtd">

<map version="1.0">

<!-- Misc. -->

<mapID target="Verifier" url="topics/Verifier.html" />
</map>
