Mapping Java annotations to Python decorators