10341035103610371038103910401041104210431044
} else { if (extension) { result.setWildcardSet(wcset.union(result.getWildcardSet())); result.setWildcardProcess(wcprocess); } else { result.setWildcardSet(wcset.intersect(result.getWildcardSet()));