About URI Fragment Actions for Vaadin

Wrapper class around a Vaadin Navigator which allows using URI fragment actions. By this, it is possible to use more complex view names than customary with Vaadin's navigator. Furthermore, you can parameterize URI fragments and interpret the parameter values in a type-safe way.