{ pkgs, ... }: { home.packages = with pkgs; [ jdk17 ]; }