Eclipse: Launch External Tool does not save dirty editors regardless of preference setting

[Jacques Le Roux]

I really do not like this one 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=282581
But not enough to run all issues with building my own Eclipse (did not try 
though), I will wait 3.5.2 :/

Jacques