197198199200201202203204205206207
if (key != null) { //This key should not be wrapped in a JipsKey because it comes from the iterator. keyArray[0] = (KeyObject) key; m_Database.remove( keyArray ); } if (!iter.moveNext()){ break; } } } catch (Exception ignore)
193194195196197198199200201202203