Fixed random generator for games

core/src/cz/nic/tablexia/game/AbstractTablexiaGame.java

@@ -136,6 +136,7 @@ public abstract class AbstractTablexiaGame<T> extends AbstractTablexiaScreen<T>
     public static final String GAME_STATE_GAME_ID = "game_id";
 
     private Game game;
+    private TablexiaRandom random;
     private GamePhase gamePhase;
     private boolean inGameLoading;
     private Map<ITrophyDefinition, Boolean> hasTrophies;
@@ -286,7 +287,7 @@ public abstract class AbstractTablexiaGame<T> extends AbstractTablexiaScreen<T>
         }
         if (game == null) {
             // create new
-            TablexiaRandom random = TablexiaSettings.GAMES_RANDOM_SEED == null ? new TablexiaRandom() : new TablexiaRandom(TablexiaSettings.GAMES_RANDOM_SEED);
+            random = TablexiaSettings.GAMES_RANDOM_SEED == null ? new TablexiaRandom() : new TablexiaRandom(TablexiaSettings.GAMES_RANDOM_SEED);
             GameDefinition gameDefinition = GameDefinition.getGameDefinitionForClass(AbstractTablexiaGame.this.getClass());
             GameDifficulty gameDifficulty = gameDefinition.hasTutorial() && UserDAO.isTutorialForGameDefinition(gameDefinition, getSelectedUser()) ? GameDifficulty.TUTORIAL : TablexiaSettings.getInstance().getGameDifficulty(gameDefinition);
             game = GameDAO.createGame(getSelectedUser(), gameDifficulty, gameDefinition, random);
@@ -661,7 +662,10 @@ public abstract class AbstractTablexiaGame<T> extends AbstractTablexiaScreen<T>
     }
 
     public TablexiaRandom getRandom() {
-        return new TablexiaRandom(game.getRandomSeed());
+        if (random == null) {
+            random = new TablexiaRandom(game.getRandomSeed());
+        }
+        return random;
     }
 
     public GameDifficulty getGameDifficulty() {