NewGameOptionsFrame: Use op.hasFlag; javadoc