commited GameOptions.java