if (bug.getUniqueId() != null) return bug.getUniqueId().hashCode() + 7; else return bug.hashCode() + 7;
return bug.hashCode();
	public int hashCode()	{		if (bug.getUniqueId() != null)			return bug.getUniqueId().hashCode() + 7;		else			return bug.hashCode() + 7;	}