public class Misc {
public static final java.nio.charset.Charset utf8 = java.nio.charset.Charset.forName("UTF-8");
+ public static final java.nio.charset.Charset ascii = java.nio.charset.Charset.forName("US-ASCII");
private static Map<Integer, String> stext = new HashMap<Integer, String>();
static {
return(false);
throw(new IllegalArgumentException("value not recognized as boolean: " + val));
}
+
+ public static void eatws(PushbackReader in) throws IOException {
+ int c;
+ do {
+ c = in.read();
+ if(c < 0)
+ return;
+ } while(Character.isWhitespace(c));
+ in.unread(c);
+ }
}