gnu: Add older version of jbr.

* gnu/packages/java.scm (jbr11): New variable.

gnu/packages/java.scm

@@ -1550,6 +1550,43 @@ (define-public openjdk19
 (define-public openjdk openjdk19)
 
 
+;; This version of JBR is here in order to be able to build custom
+;; IntelliJ plugins.  Those usually need both jbr11 and jbr17 for
+;; tests.
+(define-public jbr11
+  (package
+    (inherit openjdk11)
+    (name "jbr")
+    (version "11_0_16-b2248")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                     (url "https://github.com/JetBrains/JetBrainsRuntime.git")
+                     (commit (string-append "jb" version))))
+              (file-name (string-append name "-" version "-checkout"))
+              (sha256
+               (base32
+                "1fnrdx0wb21ghm6jczjzk7b9fz9hbdzd62512xhwpzvca57v2z09"))))
+    (arguments
+     (substitute-keyword-arguments (package-arguments openjdk11)
+       ((#:configure-flags configure-flags)
+        #~(append #$configure-flags
+                  (list "--with-jvm-features=shenandoahgc"
+                        "--enable-cds=yes"
+                        "--with-vendor-name=JetBrains s.r.o"
+                        "--with-vendor-url=https://www.jetbrains.com/"
+                        "--with-vendor-bug-url=https://youtrack.jetbrains.com/issues/JBR")))))
+    (synopsis "JetBrains Java Runtime")
+    (description "This package provides a Java runtime environment for
+and Java development kit.  It supports enhanced class redefinition (DCEVM),
+features optional JCEF, a framework for embedding Chromium-based browsers,
+includes a number of improvements in font rendering, keyboards support,
+windowing/focus subsystems, HiDPI, accessibility, and performance,
+provides better desktop integration and bugfixes not yet present in
+OpenJDK.")
+    (home-page "https://www.jetbrains.com/")
+    (license license:gpl2+)))
+
 (define-public jbr17
   (package
     (inherit openjdk17)