Yes - those validation annotations are from the springmodules project you linked.
JSR 303 validation is an up-and-coming standard, and the springmodules validation isn't being actively developed any more in favor of it. If you want to use this instead, you'll need
Hibernate Validator (which is the JSR 303 reference implementation, and isn't tied to Hibernate (the software) but is developed by Hibernate (the people who make the software)).