jPicEdt Code

<2012-11-01> Utilisation de jpicedt_env pour trouvé le répertoire de domiciliation de jPicEdt.

<2012-11-01> Sauvegarde des préférences d'installation en fin d'installation.

<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

<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.

**Ajout**

<2012-09-17> Prise en compte des propositions de Jobst:

<2012-09-17> reworked some more translations and made some (previous)
comments now active

<2012-09-16> updated and added some more german translations

<2012-09-09> Renommage propriété Version et version en version.in.title et version.in.filename, plus facile à comprendre.

<2012-09-08> Ajout de la suppression de version.texi dans clean-help.