Ecco un link interessante che spiega quali sono le possibili variabili che si possono usare nella configurazione dei tool esterni di Eclipse:
Ecco un link interessante che spiega quali sono le possibili variabili che si possono usare nella configurazione dei tool esterni di Eclipse: