1 files changed, 2 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
index 0a5cd7fc..1ae09916 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
@@ -46,6 +46,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration
         private Map<Version, Version> parents = new HashMap<>();
         private final List<Version> solutions = new ArrayList<>();
         private Map<Version, List<Activation>> statesAndTraversedActivations;
+        @SuppressWarnings("squid:S2245")
         private Random random = new Random();
         private boolean isNewState = false;
         private final boolean isVisualizationEnabled;
@@ -182,6 +183,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration
         }
 
         @Override
+        @SuppressWarnings("squid:S2245")
         public void setRandom(long seed) {
                 this.random = new Random(seed);
         }