} catch (PluginException pe) {
closePlugins(true);
throw pe;
}
closePlugins(false);
<BUG>documentResult=writeLog(documentResult,event);

vectorEdgeHistory.addElement(event.getItemValueInteger("numprocessid") + "."
+ event.getItemValueInteger("numactivityid"));
int iNewProcessID = event.getItemValueInteger("numnextprocessid");</BUG>
if (logger.isLoggable(Level.FINE))

} catch (PluginException pe) {
closePlugins(true);
throw pe;
}
closePlugins(false);
documentResult = writeLog(documentResult, event);
vectorEdgeHistory.addElement(
event.getItemValueInteger("numprocessid") + "." + event.getItemValueInteger("numactivityid"));
int iNewProcessID = event.getItemValueInteger("numnextprocessid");
if (logger.isLoggable(Level.FINE))
