
  TYPE
    jmt$terminate_job_action = (jmc$tja_kill_disabled,
          jmc$tja_operator_kill_enabled, jmc$tja_user_kill_enabled);

  TYPE
    jmt$terminate_job_action_set = set of jmt$terminate_job_action;
