public char first() {if (start == end) {return DONE;}offset = start;return string.charAt(offset);}
public char first(){if (start == end){return java.text.CharacterIteratorClass.DONE;}offset = start;return @string[offset];}