int () { final int PRIME = 59; int result = 1; result = result * PRIME + this.x; result = result * PRIME + this.y; final java.lang.Object $z = this.z; result = result * PRIME + ($z == null ? 43 : $z.hashCode()); return result; }