diff -r be844ade3150 -r d671d57178fc shell.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Thu Apr 29 09:50:58 2021 +0200
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    openjdk8
+  ];
+}