public static void main(String[] args) { Execution.run(args, "SerializedDumperMain", new SerializedDumper(), Master.getOptionsParser()); }