Eclipse plug-in for remote-execution.