From 2693e9ad45f3382eea57253b91221d121257e00e Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Thu, 26 May 2022 17:58:58 -0700
Subject: fix(gerrit): use a compatible JDK

Change-Id: I3fadf8a3a9a81c7966b4c048ace1ae259f0e3668
---
 modules/services/gerrit/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/services/gerrit/default.nix b/modules/services/gerrit/default.nix
index 46a8bf6..ab35533 100644
--- a/modules/services/gerrit/default.nix
+++ b/modules/services/gerrit/default.nix
@@ -26,6 +26,9 @@ in {
 
       plugins = [ oauth ];
 
+      # The default JDK is incompatible with gerrit.
+      jvmPackage = pkgs.openjdk11_headless;
+
       settings = {
         core.packedGitLimit = "100m";
         log.jsonLogging = true;
-- 
cgit 1.4.1