index.acquireReadLock();
try{
IIndexName name = IndexUI.elementToName(index, element);
result = formatElement(index, new Call(name, element), seen, callees);
}finally{
index.releaseReadLock();
}
}
}finally{
manager.removeWorkingCopy(input);
manager.disconnect(input);