@ManagedOperation public String dumpViewHandlerHistory() { return view_handler.dumpHistory(); }
@ManagedOperation public String dumpViewHandlerHistory() { return view_handler.dumpHistory(); }
@ManagedOperation public String dumpViewHandlerHistory() { return view_handler.dumpHistory(); }
@ManagedOperation public String dumpViewHandlerHistory() { return view_handler.dumpHistory(); }