
  TYPE
    jmt$application_set = set of jmt$application_index;

*copyc jmt$application_index
