docs: public final String getName() {
          switch (type) {
              case ServletConfig:
                  return servletConfig.getServletName();
              case FilterConfig:
                  return filterConfig.getFilterName();
              case ServletContext:
                  return servletContext.getServletContextName();
              default:
                  throw new IllegalStateException();
          }
      }