if (!sExtension.equals("lang") && !sExtension.equals("workspace") && !sExtension.equals("couleurAF") && !sExtension.equals("couleurAS"))
if (sExtension.startsWith("."))
    public ArrayList<String> preferences()    {        ArrayList<String> extensions = new ArrayList<String>();        String sExtension;        // on rempli l'ArrayList        for (Enumeration keys = preferences.keys() ; keys.hasMoreElements() ;)        {            sExtension = keys.nextElement().toString();            if (!sExtension.equals("lang") && !sExtension.equals("workspace") && !sExtension.equals("couleurAF") && !sExtension.equals("couleurAS"))                extensions.add(sExtension);        }        // on trie l'ArrayList        Collections.sort(extensions);        return extensions;    }