// PreferenceManager.getClientPreferences().getGameLogFilename(),
// false,
// (new
// Integer(PreferenceManager.getClientPreferences().getGameLogMaxSize()).longValue()
// * 1024 * 1024) );
log = new GameLog(PreferenceManager.getClientPreferences()
.getGameLogFilename());
}