Редактор server.properties и инструменты настройки для администрирования сервера Minecraft Java Edition.