public void Dispose() { if (test_module != null) test_module.Dispose (); if (test_resolver != null) test_resolver.Dispose (); }