private void writeObject(ObjectOutputStream stream) throws java.io.IOException {
    stream.defaultWriteObject();
    if (!isProperList) {
      stream.writeBoolean(false);
      stream.writeObject(this.dottedElement);
    } else {
      stream.writeBoolean(true);
    }
  }