throw new HelpException("Error while loading an XML parser", e);
}
try {
log.debug("creating map file [" + mapFile.getPath() + "] ..");
mapPrinter = new PrintWriter(new BufferedOutputStream(new FileOutputStream(mapFile)));
mapPrinter.println("<?xml version='1.0' encoding='ISO-8859-1' ?>");
mapPrinter.println(
"<!DOCTYPE map PUBLIC \"-//Sun Microsystems Inc.//DTD JavaHelp Map Version 1.0//EN\""
+ " \"http://java.sun.com/products/javahelp/map_1_0.dtd\">\n");
mapPrinter.println("<!-- Do not change, this file is automatically generated -->");