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

neil_a_wilson
18.02.2007 dc7e0efd09b538b9ed21a414dff79fb1cf6f2d64
opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -221,17 +221,19 @@
  @Override
  public String toString()
  {
    StringBuilder buffer = new StringBuilder();
    synchronized (this)
    {
      String str = null;
      for (Short key  : list.keySet())
      {
        ChangeNumber change = list.get(key);
        str += " " + change.toString();
        buffer.append(" ");
        buffer.append(change);
      }
      return str;
    }
    return buffer.toString();
  }
  /**