From 1b73fb1e87a7b8fb0b6b80af98cbb02ed3f796ba Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 4 Apr 2019 10:35:14 +0200
Subject: [PATCH] Switch to openjdk12 (when available).

---
 common-sw.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common-sw.nix b/common-sw.nix
index c475117..1f15661 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -4,7 +4,7 @@
   environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
     gmpc
     m4
-    (pkgs.openjdk11 or pkgs.openjdk10 or openjdk8)
+    (pkgs.openjdk12 or pkgs.openjdk11 or pkgs.openjdk10 or openjdk8)
     sbt scala
     chromium
     firefox