99100101102103104105106107
} ResourceDispenser rd = (ResourceDispenser) resourceDispensers.get(resourceDispenser); if (rd == null) { throw new ResourceException("resourceDispenser " + resourceDispenser + " not found"); } return rd; }