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