with import {}; mkShell { packages = [ openjdk ant astyle jdt-language-server ]; shellHook = '' echo "Usage Example: ant run -Dmain-class=aufgabe3.Server" ''; }