}
<BUG>public ModalNoButtons(java.awt.Frame parent, HashDb unindexed){
</BUG>
super(parent, "Indexing database", true);
this.unindexed = null;
<BUG>this.toIndex = unindexed;
initComponents();</BUG>
initCustom();
}
@SuppressWarnings("unchecked")

}
public ModalNoButtons(HashDbManagementPanel hdbmp, java.awt.Frame parent, HashDb unindexed){
super(parent, "Indexing database", true);
this.unindexed = null;
this.toIndex = unindexed;
this.hdbmp = hdbmp;
initComponents();
initCustom();
}
@SuppressWarnings("unchecked")
