private BitSet getSpecName(String name) {
		BitSet bs = getSpecNameOrNull(name);
		if (bs != null)
			return bs;
		int pt = name.indexOf("*");
		if (pt > 0) {
			bs = getSpecNameOrNull(name.substring(0, pt) + "??????????" + name.substring(pt + 1));
		}
		return (bs == null ? new BitSet() : bs);
	}