#13 Severity for check ignored if set to "ignore"

[Jens Voss]

I have a checkstyle configuration file with the severity for the MagicNumber check set to "ignore":

<module name="MagicNumber">
<property name="severity" value="ignore"/>
</module>

Running checkstyle from the command line correctly ignores magic numbers in my source file; but in the Jetstyle plugin, they are shown as warnings.

The same thing appears to happen for all checks with severity property explicitly set to "ignore"