executeExtensions( TYPE_FINALIZER, device, locale, environment );
	public void finalize( Device device, Locale locale, Environment environment ) {		// call initialize on all active extensions:		for (int i = 0; i < this.activeExtensions.length; i++) {			Extension extension = this.activeExtensions[i];			extension.finalize(device, locale, environment);		}	}