/** * Returns a hash for the platform. * * @return a hash for the platform */ public int hashCode() { int hash = name.hashCode() ^ arch.hashCode(); if (version != null) { hash ^= version.hashCode(); } if (javaVersion != null) { hash ^= javaVersion.hashCode(); } return hash; }