return "[Exception]";
return "[Handled or Unhandled Exception]";
	public String toString() {		switch (kind) {		case TOP:			return "[TOP]";		case NON_EXCEPTION:			return "[Non-exception]";		case HANDLED_EXCEPTION:			return "[Handled exception]";		case UNHANDLED_EXCEPTION:			return "[Unhandled exception]";		case CONDITIONAL_UNHANDLED_EXCEPTION:			return "[Conditional unhandled exception]";		case EXCEPTION:			return "[Exception]";		default:			throw new IllegalStateException("Unknown kind of ExceptionPathValue: " + kind);		}	}