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