Esempio n. 1
0
 /** Compute hash code for this VMID. */
 public int hashCode() {
   return uid.hashCode();
 }