{
  user ? throw "user argument is required",
  home ? throw "home argument is required",
}:
{ pkgs, ... }:
{
  home-manager.users.${user}.programs.java = {
    enable = true;
    package = pkgs.jdk17;
  };
}