/** Stop all the threads and stuff used for this config. */ public synchronized void close() { try { WMSServerInfo.clearCache(); } finally { try { if (mapRenderingExecutor != null) { mapRenderingExecutor.stop(); } } finally { if (connectionManager != null) { connectionManager.shutdown(); } } } }