code: protected HasText getTabTextAccessor(final int pos) {
  
          HasText tabText = new HasText() {
  
              /**
               * @see com.google.gwt.user.client.ui.HasText#getText()
               */
              public String getText() {
  
                  return m_tabbedPanel.getTabText(pos);
  
              }
  
              /**
               * @see com.google.gwt.user.client.ui.HasText#setText(java.lang.String)
               */
              public void setText(String text) {
  
                  m_tabbedPanel.setTabText(pos, text);
              }
          };
          return tabText;
      }
docs: Creates a tab text accessor for a given text.<p>
  
  @param pos the index of the tab
  
  @return the tab text accessor for the tab at index pos