final HashDb hashDb = ((HashSetTable) hashSetTable).getSelection();
assert hashDb != null;
// Add a listener for the INDEXING_DONE event. This listener will update
// the UI.
hashDb.addPropertyChangeListener(new PropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(HashDb.Event.INDEXING_DONE.toString())) {
HashDb selectedHashDb = ((HashSetTable) hashSetTable).getSelection();
if (selectedHashDb != null && hashDb != null && hashDb.equals(selectedHashDb)) {