return shortMessageBundle.getString(key);
BugPattern bugPattern = bugPatternMap.get(key); if (bugPattern == null) return "Error: missing bug pattern for key " + key; return bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription();
	public String getShortMessage(String key) {		return shortMessageBundle.getString(key);	}