jetbrains-jdk: 17.0.11-b1000.8 -> 17.0.11-b1207.24)

in

openjdk17.overrideAttrs (oldAttrs: rec {

  pname = "jetbrains-jdk" + lib.optionalString withJcef "-jcef";

  javaVersion = "17.0.8";

  build = "1000.8";

  javaVersion = "17.0.11";

  build = "1207.24";

  # To get the new tag:

  # git clone https://github.com/jetbrains/jetbrainsruntime

  # cd jetbrainsruntime

  # git reset --hard [revision]

  # git log --simplify-by-decoration --decorate=short --pretty=short | grep "jbr-" --color=never | cut -d "(" -f2 | cut -d ")" -f1 | awk '{print $2}' | sort -t "-" -k 2 -g | tail -n 1 | tr -d ","

  openjdkTag = "jbr-17.0.7+7";

  openjdkTag = "jbr-17.0.8+7";

  version = "${javaVersion}-b${build}";

  src = fetchFromGitHub {

    owner = "JetBrains";

    repo = "JetBrainsRuntime";

    rev = "jb${version}";

    hash = "sha256-PXS8wRF37D9vzeC4CvmB3szFMbt+NRqhQqtPZcbeAO8=";

    hash = "sha256-a7cJF2iCW/1GK0/GmVbaY5pYcn3YtZy5ngFkyAGRhu0=";

  };

  BOOT_JDK = openjdk17-bootstrap.home;

  # run `git log -1 --pretty=%ct` in jdk repo for new value on update

  SOURCE_DATE_EPOCH = 1691119859;

  SOURCE_DATE_EPOCH = 1715809405;

  patches = [ ];