public static String bitSetPrettyPrint(BitSet coll,String[] nameMap,String linePrefix,int itemsPerLine)
	{
		String rv = linePrefix + "[";
		boolean isFirst = true;
		int currentLineItemCount = -1;
		for(int i = coll.nextSetBit(0);i >= 0;i = coll.nextSetBit(i + 1))
		{
			if(!isFirst) rv += ",";
			currentLineItemCount = (currentLineItemCount + 1) % itemsPerLine;
			if(currentLineItemCount == 0)
			{
				if(!isFirst) rv += "\n" + linePrefix + " ";
			}
			isFirst = false;
			rv += nameMap[i];
		}
		rv += /*"\n" + linePrefix +*/ "]";
		return rv;
	}