public GlobalParams obtainGlobalParams(Monitor m) {
        global = new GlobalParams();
        if (m.getGlobal() == null) return global;
        for (ParamsType p: m.getGlobal().getParam()) {
            global.put(p.getName(), p.getValue());
        }
        return global;
    }