From f32686f276c11c5b6d03daa97b436491ebfd6236 Mon Sep 17 00:00:00 2001
From: Robert Haschke <rhaschke@techfak.uni-bielefeld.de>
Date: Sun, 3 Apr 2016 17:20:11 +0200
Subject: [PATCH] not unloading the ClassLoaders (to avoid the SEVERE WARNING)
 doesn't work either

---
 src/multi_library_class_loader.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/multi_library_class_loader.cpp b/src/multi_library_class_loader.cpp
index dece0921..8e4438ac 100644
--- a/src/multi_library_class_loader.cpp
+++ b/src/multi_library_class_loader.cpp
@@ -39,10 +39,7 @@ enable_ondemand_loadunload_(enable_ondemand_loadunload)
 
 MultiLibraryClassLoader::~MultiLibraryClassLoader()
 {
-  if (!isOnDemandLoadUnloadEnabled())
-    shutdownAllClassLoaders(); // don't unload libs to avoid SEVERE WARNING
-  // TODO: free ClassLoaders in active_class_loaders_
-  // However, we still need them in on-demand-load-unload mode. Otherwise we risk seg-faults.
+  shutdownAllClassLoaders();
 }
 
 std::vector<std::string> MultiLibraryClassLoader::getRegisteredLibraries()