turn off duplicate check for now

Change-Id: Ic11a4e4c33ae219df1ddf49f512b8f61a145dc91

@@ -407,9 +407,9 @@ public class DeviceManager
                 // TODO duplicate suppression should probably occur in the MastershipManager
                 // itself, so listeners that can't deal with duplicates don't have to
                 // so this check themselves.
-                if (checkDuplicate(event.roleInfo(), term.termNumber())) {
-                    return;
-                }
+//                if (checkDuplicate(event.roleInfo(), term.termNumber())) {
+//                    return;
+//                }
 
                 if (!myNodeId.equals(term.master())) {
                     // something went wrong in consistency, let go