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