helpful progress reporting

[IRC.git] / Robust / src / Benchmarks / MapReduce / Java / Tool.java

public class Tool {
    public int run(String[] args);
}