408409410411412413414415416
private Property getEnumProperty(int enumValue, String text) { if (enums == null) { enums = new Property[ENUM_COUNT+1]; } if (enums[enumValue] == null) { enums[enumValue] = new EnumProperty(enumValue, text); } return enums[enumValue]; }
402403404405406407408409410
401402403404405406407408409