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

Jean-Noel Rouvignac
18.00.2015 94e9037522922b67e8af412b4cfe476f5e991118
opendj-server-legacy/src/main/java/org/opends/server/tools/upgrade/FileManager.java
@@ -275,7 +275,7 @@
     *          to act as the new file object
     * @return FileOperation as the same type as this class
     */
    abstract public FileOperation copyForChild(File child);
    public abstract FileOperation copyForChild(File child);
@@ -285,7 +285,7 @@
     * @throws IOException
     *           if there is a problem.
     */
    abstract public void apply() throws IOException;
    public abstract void apply() throws IOException;
  }