Hi! Patch semantics uses a bit more complicated generation logic than the base wrapper class so to make it easier we have provided custom patch builders for the aspects that currently support patching. Please see
PatchTest.java for examples.
If you're interested in how the logic is working you can look at
AbstractPatchBuilder and its subtypes for how we're generating the underlying proposal 🙂