Gavin 3.3.1 AND 3.3.2 have "If a parameter of a producer method has no binding annotation, the default binding type @Current is assumed." as their last sentence - I think this is a typo