Checkstyle 4.2 released

Checkstyle 4.2 has been released, containing lots of new features and bug fixes.