Method deleteDir

tools/BoxedWineRunner/src/boxedwine/org/Main.java:126–138

(File file)

    }

    public static void deleteDir(File file) throws IOException {
        if (file.isDirectory()) {
            File[] entries = file.listFiles();
            if (entries != null) {
                for (File entry : entries) {
                    deleteDir(entry);
                }
            }
        }
        if (!file.delete()) {
            file.deleteOnExit();
        }
    }

    public static String[] getLines(String path) {
        try {