MessageUtil.error(world.getMessageHandler(), "problem loading Xlint properties file: " + file.getPath() + ", " + ioe.getMessage());
MessageUtil.error(world.getMessageHandler(), WeaverMessages.format(WeaverMessages.XLINT_LOAD_ERROR,file.getPath(),ioe.getMessage()));
	public void setFromProperties(File file) {		try {			InputStream s = new FileInputStream(file);			setFromProperties(s);		} catch (IOException ioe) {			MessageUtil.error(world.getMessageHandler(), "problem loading Xlint properties file: " + 					file.getPath() + ", " + ioe.getMessage());		}	}