1args: 2import ../temurin-bin/jdk-linux-base.nix ({ 3 name-prefix = "semeru"; 4 brand-name = "IBM Semeru Runtime"; 5} // args)