From b958bdf1b96881f0a73a9dd4d12d6e8c275ddff4 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Wed, 2 Aug 2023 13:23:48 +0200
Subject: [PATCH] jdt-language-server: set platforms

---
 .../tools/language-servers/jdt-language-server/default.nix       | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/tools/language-servers/jdt-language-server/default.nix b/pkgs/development/tools/language-servers/jdt-language-server/default.nix
index af1c972a26c0..34af81f19354 100644
--- a/pkgs/development/tools/language-servers/jdt-language-server/default.nix
+++ b/pkgs/development/tools/language-servers/jdt-language-server/default.nix
@@ -97,5 +97,6 @@ stdenv.mkDerivation rec {
     sourceProvenance = with sourceTypes; [ binaryBytecode ];
     license = licenses.epl20;
     maintainers = with maintainers; [ matt-snider ];
+    platforms = platforms.all;
   };
 }