final public void subtype_declaration() throws ParseException {
    jj_consume_token(SUBTYPE);
    identifier();
    jj_consume_token(IS);
    subtype_indication();
    jj_consume_token(SEMICOLON);
  }