void shutdown() { if (plugins != null) { for (CRaSHPlugin<?> plugin : plugins) { plugin.destroy(); } } } }
void shutdown() { if (plugins != null) { for (CRaSHPlugin<?> plugin : plugins) { plugin.destroy(); } } } }
void shutdown() { if (plugins != null) { for (CRaSHPlugin<?> plugin : plugins) { plugin.destroy(); } } } }
void shutdown() { if (plugins != null) { for (CRaSHPlugin<?> plugin : plugins) { plugin.destroy(); } } } }