Additions to the FacesConfig class