Giving BugPatterns a name different to the enclosing class can be confusing