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

kenneth_suter
13.14.2007 7d9892ab753507184214ae2fce6d2ade21628159
opendj-sdk/opends/src/server/org/opends/server/tasks/AddSchemaFileTask.java
@@ -83,7 +83,12 @@
  // The list of files to be added to the server schema.
  TreeSet<String> filesToAdd;
  /**
   * {@inheritDoc}
   */
  public Message getDisplayName() {
    return INFO_TASK_ADD_SCHEMA_FILE_NAME.get();
  }
  /**
   * {@inheritDoc}