code: private Set<Integer> getGLBCCNodes(int cc) {
  		Set<Integer> ccNodes = new HashSet<>();
  		for (int i = GLBCCFinder.getCCFirstNode()[cc]; i >= 0; i = GLBCCFinder.getCCNextNode()[i]) {
  			ccNodes.add(i);
  		}
  		return ccNodes;
  	}
docs: Retrieve the nodes of a GLB CC.
  
  @param cc The GLB CC index.
  @return The set of nodes of the GLB CC cc.