code: public boolean equalsIgnoreCase(String anotherString)
    {
      return (m_length == anotherString.length())
             ? str().equalsIgnoreCase(anotherString) : false;
    }
docs: Compares this <code>String</code> to another <code>String</code>,
  ignoring case considerations.  Two strings are considered equal
  ignoring case if they are of the same length, and corresponding
  characters in the two strings are equal ignoring case.
  
  @param   anotherString   the <code>String</code> to compare this
  <code>String</code> against.
  @return  <code>true</code> if the argument is not <code>null</code>
  and the <code>String</code>s are equal,
  ignoring case; <code>false</code> otherwise.
  @see     #equals(Object)
  @see     java.lang.Character#toLowerCase(char)
  @see java.lang.Character#toUpperCase(char)