return tokenText.substring( start, end );
return tokenText.subSequence( start, end ).toString();
    public String getText() {        if(start >= tokenText.length() || end > tokenText.length())            throw new StringIndexOutOfBoundsException("start: " + start +                "; end=" + end + "; text=" + tokenText);        return tokenText.substring( start, end );    }