Adapt to current Play version (1.3.x) - priorities must be integer