prime_obj.releaseCategory();
if ( isCategoryToBeRemoved( prime_obj.getCategoryIndex() ) ) {
// System.out.println( "Removing ... " + prime_obj );
continue;
}
prime_obj.resolveCategory( objdefs );
// postponed, wait till on-demand decoding of InfoBuffer
// prime_obj.decodeInfoBuffer();
Nobjs++;
// System.out.println( Nobjs + " : " + prime_obj );
if ( enable_endtime_check ) {