{ config, lib, pkgs, ... }:

{
  home-manager.users.moritz = {
    home.packages = with pkgs; [ jdk jetbrains.idea-ultimate ];
  };
}