module "minecraft-server-properties" {