Can we shortern this to

    if (value != null) {
      return value.equal(dest.getValue());
    } else {
      return dest.getValue == null;
    }

or even

    return (value != null) ? value.equal(dest.getValue()) : dest.getValue == null;