!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]");

}