1185118611871188118911901191119211931194
throw new WrongPolicy(); } if (defaultServant == null) { throw new NoServant(); } return defaultServant; }
96979899100101102103
} public Servant getDefaultServant() throws NoServant, WrongPolicy { if (defaultServant == null) throw new NoServant(); return defaultServant; }
878889909192939495
} public Servant getDefaultServant() throws NoServant, WrongPolicy { if (defaultServant == null) throw new NoServant(); else return defaultServant; }
1196119711981199120012011202120312041205