134135136137138139140
throw poa.invocationWrapper().servantManagerBadType() ; } public Servant getDefaultServant() throws NoServant, WrongPolicy { throw new WrongPolicy(); }