public String indexToString(int i)
    throws java.lang.ArrayIndexOutOfBoundsException
    {
      if(i==NULL) return null;
      return (String) m_intToString.elementAt(i);
    }
public String indexToString ( int i ) throws java . lang . ArrayIndexOutOfBoundsException { if ( i == NULL ) return null ; return ( String ) m_intToString . elementAt ( i ) ; }
@return string whose value is uniquely identified by this integer index.
@throws java.lang.ArrayIndexOutOfBoundsException
if index doesn't map to a string.