<2012-11-01> Utilisation de jpicedt_env pour trouvé le répertoire de domiciliation de jPicEdt. Chargement des préférences d'installation en début d'installation. Déplacement des constante vers InstallConstants.java
Authored by: vincentb1 2012-11-01
Parent: [r1580]
Child: [r1582]
