659660661662663664665666667668669
public void requestThreadDump() { if (_controller != null) { JVMController controller = (JVMController) _controller; controller.requestThreadDump(); } } void stopController(int timeout) {