code: public int[] enumerateColorIds (String className)
      {
          // make sure the class exists
          ClassRecord record = getClassRecord(className);
          if (record == null) {
              return null;
          }
  
          int[] cids = new int[record.colors.size()];
          Iterator<ColorRecord> crecs = record.colors.values().iterator();
          for (int ii = 0; crecs.hasNext(); ii++) {
              cids[ii] = crecs.next().colorId;
          }
          return cids;
      }
docs: Returns an array containing the ids of the colors in the specified class.