After discussing the implementation of JDK-8023373, it emerged that team members would prefer to have the pattern of calling super methods through a separate adapter. That is, instead of, using this syntax to invoke a super method:

w.super$write(...)

rather use this:

var w_super = Java.super(w)
...
w_super.write(...)