.sgf format writing/reading Java implementation