339340341342343344345346347
public DebuggerPool getDebuggerPool() { if(debuggerPool==null){ Resource dir = getConfigDir().getRealResource("debugger"); dir.mkdirs(); debuggerPool=new DebuggerPool(dir); } return debuggerPool; }