code: public Colorization getColorization (String className, int colorId)
      {
          ClassRecord crec = getClassRecord(className);
          if (crec != null) {
              ColorRecord color = crec.colors.get(colorId);
              if (color != null) {
                  return color.getColorization();
              }
          }
          return null;
      }
docs: Looks up a colorization by name.