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

kenneth_suter
13.14.2007 72c939b50428a2aa1f924a04ecdedee93e1383f4
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}