if (markov == null) {
if (debug.val)
LOG.warn(String.format("Creating a new %s MarkovGraph for id %d",
catalog_proc.getName(), id));
markov = new MarkovGraph(catalog_proc);
if (initialize) markov.initialize();
this.put(id, markov);
}
} // SYNCH
}
return (markov);