if (!location.endsWith("/")) location += "/";
	private static void mungeConfigurationLocation() {		// if the config property was set, munge it for backwards compatibility.		String location = System.getProperty(PROP_CONFIG_AREA);		if (location != null) {			location = buildURL(location).getFile();			location = location.replace('\\', '/');			if (location.endsWith(".cfg")) {				int index = location.lastIndexOf('/');				location = location.substring(0, index + 1);			}			System.getProperties().put(PROP_CONFIG_AREA, location);		} 	}