From 7c778c355788b7440295d60290721df297c166a8 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Fri, 3 Feb 2023 11:57:52 +0100
Subject: [PATCH] Update objprog shell

---
 shells/objectgericht-project.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shells/objectgericht-project.nix b/shells/objectgericht-project.nix
index 620b0775..e5097c1b 100644
--- a/shells/objectgericht-project.nix
+++ b/shells/objectgericht-project.nix
@@ -1,4 +1,4 @@
 { pkgs, ... }: pkgs.devshell.mkShell {
   name = "Objectgericht programmeren project";
-  packages = with pkgs; [ openssl maven openjdk (python3.withPackages (ps: with ps; [ beautifulsoup4 notmuch pyyaml ])) ];
+  packages = with pkgs; [ openssl maven openjdk17 jdt-language-server ];
 }