Вам открываются все доступные файлы для редактирования.
2. Напротив файла server.properties нажимаете кнопку "[ Текстовый редактор ]".
Открывается текстовый редактор, где Вы можете отредактировать данный файл.
3. После редактирования Вам нужно будет нажать на кнопку "Сохранить", что бы изменения вступили в силу.
4. Перезапускаете сервер.
