docs: public Tag get(int theIndex) {
  		if (myOrderedTags == null) {
  			myOrderedTags = new ArrayList<Tag>();
  			for (Tag next : myTagSet) {
  				myOrderedTags.add(next);
  			}
  		}
  		return myOrderedTags.get(theIndex);
  	}