with (import {}); let mavenJdk11 = maven.override { jdk = pkgs.jdk11; }; in mkShell { nativeBuildInputs = [ file ripgrep mavenJdk11 nodejs-14_x which # required by Vaadin python3 ]; }