Re: TeXdoc Graphic

abbiamo la stessa versione di java, il problema non sembra dipendere da quello

`$> java -version
java version “1.6.0_18”
OpenJDK Runtime Environment (IcedTea6 1.8.1) (suse-1.1.5-x86_64)
OpenJDK 64-Bit Server VM (build 14.0-b16, mixed mode)
`