if (configuration != null) configuration.close(); configuration = null;
if (configTracker != null) configTracker.close(); configTracker = null;
	private static void closeConfiguration() {		if (configuration != null)			configuration.close();		configuration = null;	}