buf = newBuf;
    public void encodeMetacharacters()     {        try        {            encodeMetacharacters (0, this.length());        }        catch (StringIndexOutOfBoundsException ex)        {            // Should never happen        }    }