public Origin getOrigin(String name) { OriginInfo x = _origins.get(name); if (x == null) return Origin.NotSet; return x.getOriginType(); }