code: static String getJobIdFromPath(Path aPath) {
      String fileName = aPath.getName();
      JobFile jf = new JobFile(fileName);
      String jobId = jf.getJobid();
      if(jobId == null) {
        throw new ProcessingException("job id is null for " + aPath.toUri());
      }
      return jobId;
    }
docs: extracts the job id from a Path
  @param input Path
  @return job id as string