code: public Taglet getTaglet(String name) {
          if (name.indexOf("@") == 0) {
              return customTags.get(name.substring(1));
          } else {
              return customTags.get(name);
          }
  
      }
docs: Given the name of a tag, return the corresponding taglet.
  Return null if the tag is unknown.
  
  @param name the name of the taglet to retrieve.
  @return return the corresponding taglet. Return null if the tag is
  unknown.