@Override
  public void visitPermittedSubclass(String permittedSubclass) {
    mySealedClassFlag.set(true);
    addUsage(new ClassUsage(permittedSubclass));
    addUsage(new ClassPermitsUsage(permittedSubclass));
  }
@Override
  public void visitPermittedSubclass(String permittedSubclass)