Reader r = new BufferedReader(new FileReader("data/boards"
+ File.separator + filename));
// read board, looking for "size"
StreamTokenizer st = new StreamTokenizer(r);
st.eolIsSignificant(true);
st.commentChar('#');
st.quoteChar('"');
st.wordChars('_', '_');
while (st.nextToken() != StreamTokenizer.TT_EOF) {
if (st.ttype == StreamTokenizer.TT_WORD
&& st.sval.equalsIgnoreCase("size")) {