Accessing init param values in 7

In version 6 I used the getProperty method of the Application class to have access to a web.xml value.
Now, in 7, I didn’t find the equivalent nor in the UI nor in the VaadinRequest,
Does anyone know the workaround ?
Tks
Tullio

It’s a bit hidden in Vaadin 7, but possible. VaadinSession has a getConfiguration() method that returns a DeploymentConfiguration instance with two relevant methods:

getInitParameters() returns a Properties instance containing servlet init parameters.

getApplicationOrSystemProperty(String name, String default) returns the named init parameter, or if not found, the named system property, or if not found, the given default value.