!include once #1017982 // JAVE/ffmpeg

static void cutVideo_jave(File inVideo, File outVideo, float offsetSeconds, float durationSeconds) ctex {
  new EncodingAttributes attrs;
  attrs.setOffset(offsetSeconds);
  attrs.setDuration(durationSeconds);
  File tempOut = appendToFileName(outVideo, ".temp");
  print("Cutting " + f2s(inVideo) + " to " + f2s(outVideo) + " (" + durationSeconds + " seconds)");
  new Encoder().encode(mp3, tempWAV, attrs);
  forceRenameFile(tempOut, outVideo);
  print("  [done]");
}