WarningWithProperties(BugInstance warning, WarningPropertySet propertySet) {
WarningWithProperties(BugInstance warning, WarningPropertySet propertySet, Location location) {
		WarningWithProperties(BugInstance warning, WarningPropertySet propertySet) {			this.instance = warning;			this.propertySet = propertySet;		}