return super.hashCode();
final int PRIME = 31; int result = super.hashCode(); result = PRIME * result + ((domain == null) ? 0 : domain.hashCode()); result = PRIME * result + ((path == null) ? 0 : path.hashCode()); result = PRIME * result + version; return result;
	public int hashCode()	{		// to workaround findbugs warning		// to properly implement		return super.hashCode();	}