mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Gaetan Boismal
26.56.2015 412ad6b800c1fbd15661110e21d836b888231cce
opendj-server-legacy/src/main/java/org/opends/server/monitors/VersionMonitorProvider.java
@@ -196,8 +196,7 @@
      attrs.add(createAttribute(ATTR_FIX_IDS, fixIDs));
    }
    attrs.add(createAttribute(ATTR_REVISION_NUMBER,
                   String.valueOf(DynamicConstants.REVISION_NUMBER)));
    attrs.add(createAttribute(ATTR_REVISION_NUMBER, String.valueOf(DynamicConstants.REVISION)));
    attrs.add(createAttribute(ATTR_BUILD_ID, DynamicConstants.BUILD_ID));
    attrs.add(createAttribute(ATTR_COMPACT_VERSION,
                              DynamicConstants.COMPACT_VERSION_STRING));