Injection and Navigator

I have been working on an
example app
to experiment with Guice integration (described a bit more
). That’s working fine given that it is just an experiment, but I found that I had to override a lot of classes simply because Navigator is a concrete class, and not an interface.

I wanted to inject Navigator, which would need a custom scope (similar to the @VaadinUI scope in
this post
) but found that Navigator is very closely coupled with a number of other classes.

Would it be possible in some future update to change Navigator to be an interface, with the current Navigator becoming DefaultNavigator or similar? I think it would be a small change, but a great help to anyone wanting to use an alternative navigation scheme.