Added a few jOVAL-related properties to the session config.