pathName.insert(0, node.getNodeName().replace('/', '_'));
}
pathName.insert(0, NodePathType.database.getPrefix());
return pathName.toString();
}
<BUG>protected void reloadChildren(DBRProgressMonitor monitor)
</BUG>
throws DBException
{
DBNDatabaseNode[] oldChildren;

pathName.insert(0, node.getNodeName().replace('/', '_'));
}
pathName.insert(0, NodePathType.database.getPrefix());
return pathName.toString();
}
protected void reloadChildren(DBRProgressMonitor monitor, boolean reflect)
throws DBException
{
DBNDatabaseNode[] oldChildren;
