t = OPT_ClassLoaderProxy.proxy.includesType(exceptionTypes[i].type, cand);
t = OPT_ClassLoaderProxy.includesType(exceptionTypes[i].type, cand);
  public byte mustCatchException(VM_Type cand) {    boolean seenMaybe = false;    byte t;    for (int i=0; i<exceptionTypes.length; i++) {      t = OPT_ClassLoaderProxy.proxy.includesType(exceptionTypes[i].type, cand);      if (t == YES) return YES;      seenMaybe |= (t == MAYBE);    }    if (seenMaybe)      return MAYBE;    else      return NO;  }