if (FindbugsPlugin.DEBUG) { System.err.println("Exception in FindBugs plugin: " + message); e.printStackTrace(); }
	public void logException(Exception e, String message) {		IStatus status = new Status(IStatus.ERROR, FindbugsPlugin.PLUGIN_ID, 0, message, e);		getLog().log(status);	}