In the following code, the static final variable references an array which can be accessed and modified. However, this is not detected by SpotBugs for MS_MUTABLE ...