- public void addManagedElement(String managedElementId) {
- if (!ricConfig.managedElementIds().contains(managedElementId)) {
- ricConfig.managedElementIds().add(managedElementId);
+ public synchronized void addManagedElement(String managedElementId) {
+ if (!managedElementIds.contains(managedElementId)) {
+ managedElementIds.add(managedElementId);