setHandlersMapsRef(int localVariable, int[] reachableHandlerBBNums, int reachableHandlerCount, byte[][] bbMaps) {
private void setHandlersMapsRef(int localVariable, int[] reachableHandlerBBNums, int reachableHandlerCount, byte[][] bbMaps) {
setHandlersMapsRef(int localVariable, int[] reachableHandlerBBNums,                    int reachableHandlerCount, byte[][] bbMaps) {    for (int i=0; i<reachableHandlerCount; i++) {      if (bbMaps[reachableHandlerBBNums[i]][localVariable] != REFERENCE)	bbMaps[reachableHandlerBBNums[i]][localVariable] = SET_TO_NONREFERENCE;    }      }