code: @GwtIncompatible("ObjectOutputStream")
    public void serialize(OutputStream objectOutputStream) throws IOException {
      new java.io.ObjectOutputStream(objectOutputStream).writeObject(this);
    }
docs: Serializes compiler options to a stream.