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

Jean-Noel Rouvignac
24.11.2015 8d21db36015f8560d9cd2bcee9817f2c0a07a386
opendj-server-legacy/src/main/java/org/opends/server/tools/upgrade/FileManager.java
@@ -319,9 +319,7 @@
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public FileOperation copyForChild(File child)
    {
      return new CopyOperation(child, destination, overwrite);
@@ -342,9 +340,7 @@
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public void apply() throws IOException
    {
      final File objectFile = getObjectFile();
@@ -518,9 +514,7 @@
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public FileOperation copyForChild(File child)
    {
      return new DeleteOperation(child, deletionPolicy);
@@ -528,9 +522,7 @@
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public void apply() throws IOException
    {
      File file = getObjectFile();