System.out.println(" Text("+text.length()+" = '"+text+"'.");
if (text.length() >= 1) {
System.out.println(" [first char code: 0x"+Integer.toHexString(text.charAt(0))+"]");
}
LocationInfo li = sr.getLocationInfo();
System.out.println(" [Loc, start: "+li.getStartLocation()+", end: "+li.getEndLocation()+"]");
} else if (type == SPACE) {
System.out.print(" Ws = '"+text+"'.");
char c = (text.length() == 0) ? ' ': text.charAt(text.length()-1);
if (c != '\r' && c != '\n') {