if (!file.exists())
if (!file.exists()&&!file.getName().equals("default"))
    private void checkPreferences()    {        File file;        /*         * pour toutes les associations entre extension et programme on verifi         * que les programmes existent toujours         */        for (Enumeration keys = preferences.keys() ; keys.hasMoreElements() ;)        {            String extension = keys.nextElement().toString();            if (!extension.equals("lang"))            {                file = new File(preferences.getProperty(extension));                // si le fichier n'existe pas on supprime l'association des                // preferences                if (!file.exists())                {                    preferences.remove(extension);                }            }        }    }