Hopefully correct the checkstyle-settings.