docs: public String[] getAllTagNames() {
          String names[] = new String[tags.size()];
          for (int i = 0; i < tags.size(); i++) {
              XtraTag tag = tags.elementAt(i);
              names[i] = tag.tagName;
          }
          return names;
      }