bucket = new java.util.HashSet();
bucket = new HashSet();
  OPT_LTDominatorInfo(OPT_BasicBlock block) {    semiDominator = 0;    dominator = null;    parent = null;    bucket = new java.util.HashSet();    ancestor = null;    label = block;    size = 1;    child = null;    bbEnum = null;  }