FileManager.java

package org.objectweb.jonas_lib.deployment.work;

import java.io.File;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.BufferedInputStream;
import java.io.BufferedOutputStream;
import java.io.FileInputStream;

import java.net.URL;
import java.text.SimpleDateFormat;
import java.util.Date;

public class FileManager {

    private static final String TIMESTAMP_FORMAT = "_yyyy.MM.dd-HH.mm.ss";

    private static final int BUFFER_SIZE = 2048;

    protected FileManager() {

    }

    public static String fileToTimeStampDir(URL urlFileName) throws FileManagerException {
        return fileToTimeStampDir(urlFileName, "");
    }

    public static String fileToTimeStampDir(URL urlFileName, String ext) throws FileManagerException {

        //check protocol
        if (!urlFileName.getProtocol().equalsIgnoreCase("file")) {
            throw new FileManagerException("Only the file:/ URL can be used");
        }

        File urlFile = null;
        urlFile = new File(urlFileName.getFile());

        if (!urlFile.exists()) {
            throw new FileManagerException("The file " + urlFileName.getFile() + " was not found.");
        }

        //Create a format
        SimpleDateFormat sdf = new SimpleDateFormat(TIMESTAMP_FORMAT);

        //get the date of the Ear file
        long lastModified = urlFile.lastModified();

        if (lastModified == 0L) {
            throw new FileManagerException("Can't read the last modified time for the file" + urlFile + ".");
        }

        //Date
        Date d = new Date(lastModified);

        //Return String
        String stReturn = urlFile.getName();
        //Remove extension .ear
        int lastIndex = stReturn.lastIndexOf(".");
        if (lastIndex == -1) {
            throw new FileManagerException("The specified file " + urlFileName.getFile()
                    + " is not a file with the format XXX.ear.");
        }

        stReturn = stReturn.substring(0, lastIndex);

        stReturn += sdf.format(d) + ext;

        return stReturn;
    }

    protected static void dump(InputStream in, File earEntryFile) throws FileManagerException {

        try {
            //File output
            FileOutputStream out = new FileOutputStream(earEntryFile);
            int n = 0;
            try {
                //buffer
                byte[] buffer = new byte[BUFFER_SIZE];

                while ((n = in.read(buffer)) > 0) {
                    out.write(buffer, 0, n);
                }
            } finally {
                out.close();
            }
        } catch (IOException e) {
            throw new FileManagerException("Error while uncompressing the file " + earEntryFile + ": " + e.getMessage());
        }
    }

    public static void copyFile(String pSrcFilename, String pDstFilename) throws FileManagerException {
        try {

            // input
            File sourceFile = new File(pSrcFilename);
            FileInputStream fis = new FileInputStream(sourceFile);
            BufferedInputStream bis = new BufferedInputStream(fis);
            long l = sourceFile.length();

            // ouput
            FileOutputStream fos = new FileOutputStream(pDstFilename);
            BufferedOutputStream bos = new BufferedOutputStream(fos);

            // Copy
            for (long i = 0; i < l; i++) {
                bos.write(bis.read());
            }

            // Close streams
            bos.flush();
            bos.close();
            bis.close();

        } catch (Exception e) {

            throw new FileManagerException("Error during copy file : " + pSrcFilename + " -> " + pDstFilename);

        }

    }
}

---