}
	protected void tearDown() throws Exception {		super.tearDown();				/* Restore system properties */		Properties systemProperties = System.getProperties();		for (Enumeration enum = savedProperties.keys(); enum.hasMoreElements(); ) {			String key = (String)enum.nextElement();			String value = savedProperties.getProperty(key);			if (value == NULL) systemProperties.remove(key);			else systemProperties.setProperty(key,value);		}