code: @Override
      public void scan(ClassSource_Aggregate classSource, Set<String> specificClassNames) throws AnnotationTargets_Exception {
          try {
              createScanner(classSource).scan(specificClassNames);
              // 'createScanner' throws class source exception
  
          } finally {
              haveScannedDirectClasses = true;
              haveScannedReferencedClasses = true;
          }
      }
docs: PostCondition: haveScannedReferencedClasses == true