plus de jEdit !

[JJG]

Au secours ! à la suite d'une mise à jour, mon système (linuxMint Maya) 
a planté lamentablement et plus moyen de le faire partir... La seule 
solution a été de tout réinstaller et à peu près tout semble fonctionner 
à nouveau sauf que jEdit fait des siennes. Je ne peux plus modifier les 
fichiers que j'avais sauvegardés.

Ce n'est pas une question de droits car j'ai les droits d'exécution et 
j'en suis le propriétaire.

Lorsque je lance jEdit, tout a l'air de fonctionner mais je ne peux 
faire absolument aucune rectification. le fichier se lance, le PDF 
apparaît à droite mais je ne peux rien faire sur le fichier et surtout, 
dès que je fais une quelconque modif, jEdit se fige et je dois le fermer 
sauvagement avec la petite application (bien utile) "forcer à quitter".

Lorsque je le lance en, console, voici ce que j'obtiens :
address@hidden ~ $ jedit
=============================================================
Warning: $JAVA_HOME environment variable not set! Consider setting it.
         Attempting to locate java...
Found a virtual machine at: /usr/bin/java...
12:08:53 [main] [warning] jEdit: initPLAF failed to set required l&f
12:08:53 [main] [warning] jEdit: initPLAF failed to set required l&f
12:08:55 [AWT-EventQueue-0] [error] AWT-EventQueue-0: 9 sept. 2013 
12:08:55 lilytool.LilyToolPlugin setUpLogging
12:08:55 [AWT-EventQueue-0] [error] AWT-EventQueue-0: ATTENTION: New log 
level set:WARNING
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0: Uncaught error 
fetching image:
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0: 
java.lang.NullPointerException
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0:  at 
sun.awt.image.InputStreamImageSource.getDecoder(InputStreamImageSource.java:209)
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0:  at 
sun.awt.image.URLImageSource.getDecoder(URLImageSource.java:158)
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0:  at 
sun.awt.image.InputStreamImageSource.doFetch(InputStreamImageSource.java:258)
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0:  at 
sun.awt.image.ImageFetcher.fetchloop(ImageFetcher.java:189)
12:08:56 [Image Fetcher 0] [error] Image Fetcher 0:  at 
sun.awt.image.ImageFetcher.run(ImageFetcher.java:153)	
================================================================

J'ai essayé de modifier mon $JAVA_HOME en le mettant à /usr/bin/java 
(omme indiqué ci-dessus) mais j'obtenais un message d'erreur : cannot 
find any java at "usr/bin/java/bin/java" !!! (j'ai donc effacé mon 
ĴAVA_HOME ainsi que mon $PATH)

J'ai vérifié sur le site de java si ma configuration était bonne et en 
voici le résultat  :

================================================================
Java fonctionne, mise à jour disponible.

Voici votre configuration Java :  Distributeur : Sun Microsystems Inc. 
Version : Java SE 6 Update 27 Système d'exploitation : Linux 
3.2.0-23-generic Java Architecture : 32-bit
================================================================

A chaque fois que j'ai installé le couple Lilypond/jEdit, j'ai toujours 
eu des problèmes avec java (qui porte mal son nom parce que je ne danse 
pas depuis un bon moment devant mon ordi ! ):-)

J'ai oublié de préciser ma version de lilypond : 2.17.25
et celle de jEdit : jedit_5.05.01.99.00. Pour ce dernier, l'installeur 
m'a aussi demandé d'installer default-jdk et openjdk-6-jdk, ce que j'ai 
fait.

Mais, malheureusement, rien n'y fait et je reste bloque devant une 
superbe fenètre de jEdit complètement morte !

help please !!!

--
JJG

Linux ? Y a moins bien mais c'est plus cher !
http://www.radiosuisseclassique.ch/fr