The eclipse refreshr plugin - allowing you to synchronize resources edited with external tools.