Advanced Preference Settings

This page explains the meaning of the other preferences on the plugin's preference page.

Checkstyle preferences