bugInstance.setProperty(BugProperty.IS_BUG, "false");
classifyWarning(bugInstance, false);
			public void widgetSelected(SelectionEvent e) {				if (bugInstance != null) {					bugInstance.setProperty(BugProperty.IS_BUG, "false");				}			}