code: public EJSDeployedSupport pushMethodContext(EJSDeployedSupport s)
      {
          EJSDeployedSupport previous = ivEJSDeployedSupportStack.peek();
          ivEJSDeployedSupportStack.push(s);
          return previous;
      }
docs: RTC102449