
  PROCEDURE [XREF] jsp$reset_maximum_time;
