Using JSF with digest/hashing-based Spring Security