docs: public void postInvoke(EJSWrapper wrapper, int methodId,
                             EJSDeployedSupport s) throws RemoteException {
          postInvoke((EJSWrapperBase) wrapper, methodId, s); // f111627
      }