javax.lang.model.util visitor methods, use the
@implSpec tag to more clearly specify the semantics of particular methods as opposed to possible overrides of the methods.
As with other classes with methods meant to be overridden, the specifications of the
javax.lang.model.util visitor methods at time needs to distinguish between the general contract of the method and the operational semantics of particular methods. Proper use of the
@implSpec tag allows such distinctions to be made.
Replace specifications of the operational semantics of particular methods with
See attached patch file and specdiff.