text: public String require(Map<String,String> args, String name) {String s = args.remove(name);if (s == null) {throw new IllegalArgumentException("Configuration Error: missing parameter '" + name + "'");}return s;}