Checkstyle & stuff

Can we be sure that we always have `#files`?