/**
* Returns a hash code for this state object.
*
* @return a hash code value for this object.
*/
@Override
public int hashCode() {
int result = 17;
if (id != null) result = 37 * result + id.hashCode();
result = 37 * result + init.hashCode();
return result;
}
