public String getName(ReadGraph graph, TerminalInfo info) throws DatabaseException {
Terminal t = graph.syncRequest(new ResolveTerminal(info));
if (t == null)
public String getName(ReadGraph graph, TerminalInfo info) throws DatabaseException {
Terminal t = graph.syncRequest(new ResolveTerminal(info));
if (t == null)