@Override
  public GrEnumConstant @NotNull [] getEnumConstants() {
    GrEnumDefinitionBody body = getBody();
    return body == null ? GrEnumConstant.EMPTY_ARRAY : body.getEnumConstants();
  }
@Override
  public GrEnumConstant @NotNull [] getEnumConstants()