<2012-11-01> Construction de jpicedt_env séparément de sorte à l'avoir à la fois dans jpicedt.jar et dans l'install-jar.
<2012-10-27> Ajout du paquet jpicedt.jpicedt_env dans l'install-jar pour pouvoir retrouver le fichier de préférence d'installation.
Authored by: vincentb1 2012-11-01
Parent: [r1579]
Child: [r1581]
