Hrm, a more radical suggestion would be to rename the whole annotation to, I dunno, @SQLOrderBy or @OrderByFormula or something like that, so that we no longer clash with the name of the JPA @OrderBy annotation.

Thoughts?