private void deleteInstance(EntryClass eclass){
  int idx=entryClasses.indexOf(eclass);
  eclass=(EntryClass)entryClasses.get(idx);
  int num=eclass.getNumInstances() - 1;
  if (num == 0)   entryClasses.remove(idx);
  eclass.setNumInstances(num);
}

private void deleteInstance ( EntryClass eclass ) { int idx = entryClasses . indexOf ( eclass ) ; eclass = ( EntryClass ) entryClasses . get ( idx ) ; int num = eclass . getNumInstances ( ) - 1 ; if ( num == 0 ) entryClasses . remove ( idx ) ; eclass . setNumInstances ( num ) ; }
delete an instance of the entryclass , and remove the class from entryclasses if this is the last such instance .
