public int readChar(char ch) { if (!onNULL()) { char c = nextChar(); if (c == ch) { return 1; } prevChar(); } return 0; }