Checkstyle

Related to #1088.

I also plan to ensure proper JavaDoc on all annotations (and all methods in the annotations). That will come later in another commit in this branch.