!include once #1017982 // JAVE/ffmpeg

static void cutVideo_jave(S inVideo, S outVideo, float offsetSeconds, float durationSeconds) {
  cutVideo_jave(toFile(inVideo), toFile(outVideo), offsetSeconds, durationSeconds);
}

static void cutVideo_jave(File inVideo, File outVideo, float offsetSeconds, float durationSeconds) ctex {
  new EncodingAttributes attrs;
  attrs.setOffset(offsetSeconds);
  attrs.setDuration(durationSeconds);
  //attrs.setVideoAttributes(new VideoAttributes);
  new AudioAttributes audio;
  audio.setCodec("libmp3lame");
  audio.setBitRate(128000);
  audio.setChannels(2);
  audio.setSamplingRate(44100);
  attrs.setAudioAttributes(audio);
  File tempOut = appendToFileName(outVideo, ".temp");
  print("Cutting " + f2s(inVideo) + " to " + f2s(outVideo) + " (" + durationSeconds + " seconds)");
  new Encoder().encode(inVideo, tempOut, attrs);
  forceRenameFile(tempOut, outVideo);
  print("  [done]");
}