else prefFolder = folder;
prefFolder = folder;
    public static void setPreferencesFolder(File folder) {        // Makes sure we get the canonical path        // (for 'dirty hacks' such as ./mucommander.sh/../.mucommander)        try {folder = folder.getCanonicalFile();}        catch(Exception e) {throw new IllegalArgumentException(e);}        // Makes sure the specified folder exists and is valid.        if(!folder.isDirectory()) {            if(folder.exists())                folder = folder.getParentFile();            else if(!folder.mkdirs())                throw new IllegalArgumentException("Could not create folder " + folder);        }        else            prefFolder = folder;    }