public CheckMessages(String filename) throws DocumentException, MalformedURLException { masterMessagesDoc = new MessagesDoc(filename); checkMessages(masterMessagesDoc);
public CheckMessages(String pluginDescriptorFilename) throws DocumentException, MalformedURLException {  pluginDescriptorDoc = new XMLFile(pluginDescriptorFilename);  declaredDetectorsSet = pluginDescriptorDoc.collectAttributes("/FindbugsPlugin/Detector", "class");  declaredAbbrevsSet = pluginDescriptorDoc.collectAttributes("/FindbugsPlugin/BugPattern", "abbrev");
	public CheckMessages(String filename) throws DocumentException, MalformedURLException {		masterMessagesDoc = new MessagesDoc(filename);		checkMessages(masterMessagesDoc);	}