
  TYPE
    jmt$jl_job_leveler_status = record
      leveler_state: jmt$jl_job_leveler_state,
      cleanup_completed: boolean,
    recend;

  TYPE
    jmt$jl_job_leveler_state = (jmc$jl_leveler_disabled,
          jmc$jl_leveler_enabled, jmc$jl_server_profile_mismatch);

