Allow to set custom REDIS keys for security endpoint and PSK ID

leshan-server-redis/src/main/java/org/eclipse/leshan/server/redis/RedisSecurityStore.java

@@ -39,10 +39,9 @@
  * Security info are stored using the endpoint as primary key and a secondary index is created for psk-identity lookup.
  */
 public class RedisSecurityStore implements EditableSecurityStore {
+    private static String SEC_EP = "SEC#EP#";
 
-    private static final String SEC_EP = "SEC#EP#";
-
-    private static final String PSKID_SEC = "PSKID#SEC";
+    private static String PSKID_SEC = "PSKID#SEC";
 
     private final Pool<Jedis> pool;
 
@@ -167,4 +166,12 @@ public void addListener(SecurityStoreListener listener) {
     public void removeListener(SecurityStoreListener listener) {
         listeners.remove(listener);
     }
+
+    public static void setSecEp(String secEp) {
+        SEC_EP = secEp;
+    }
+
+    public static void setPskidSec(String pskidSec) {
+        PSKID_SEC = pskidSec;
+    }
 }