an easy java tool for batch operations on multiple ssh remote hosts