javadocs SOCServer.resetBoardAndNotify_finish