public String getMessage(String key) {
public @NonNull String getMessage(String key) {
	public String getMessage(String key) {		BugPattern bugPattern = bugPatternMap.get(key);		if (bugPattern == null)			return "Error: missing bug pattern for key " + key;		return bugPattern.getAbbrev() + ": " + bugPattern.getLongDescription();	}