indexDirFile.delete();
if (!indexDirFile.exists())
indexDirFile.mkdir();
xmlIndexBuilder = new XmlIndexBuilder(indexDirName);
String[] translations = { "vnd.sun.star.help://", "#HLP#" };
PrefixTranslator translator =
PrefixTranslator.makePrefixTranslator(translations);
xmlIndexBuilder.setPrefixTranslator(translator);