53f8415e9b
It's better to use @SuppressWarnings instead of the suppressions file, so that the warning suppression is at the place where it acts.