if (sessionSeed == null) {
            if (other.sessionSeed != null) {
                return false;
            }
        } else if (!sessionSeed.equals(other.sessionSeed)) {