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

Nicolas Capponi
10.17.2014 56269af431723ec4c456c92d0d019e7f6e16832a
opendj3-server-dev/src/server/org/opends/server/loggers/GZIPAction.java
@@ -57,7 +57,7 @@
   * @param deleteOrig  Whether the source file should be deleted after
   *                    compression or not.
   */
  public GZIPAction(String origFile, String newFile, boolean deleteOrig)
  GZIPAction(String origFile, String newFile, boolean deleteOrig)
  {
    this.originalFile = new File(origFile);
    this.newFile = new File(newFile);