public void run()
{
databaseEditor.refreshPart(
event,
event.getNodeChange() == DBNEvent.NodeChange.REFRESH &&
<BUG>event.getSource() == DBNNode.FORCE_REFRESH);
</BUG>
}
};
}

public void run()
{
databaseEditor.refreshPart(
event,
event.getNodeChange() == DBNEvent.NodeChange.REFRESH &&
event.getSource() == DBNEvent.FORCE_REFRESH);
}
};
}
