docs: protected void setLastUserTaskID(UserTask task) {
          String name = task.getName();
          if (name != null && name.length() > 0) {
              int i = name.indexOf(DEFAULT_USERTASK_NAME_PREFIX);
              if (i == 0) {
                  String numStr = name.substring(5);
                  try {
                      int num = Integer.parseInt(numStr);
                      if (num >= LastUserTaskID) {
                          LastUserTaskID = num;
                      }
                  } catch (NumberFormatException nfe) {
                      // do nothing
                  }
              }
          }
      }