Беда в том, что никак не найду подходящий редактор
Большинство редакторов, которые мне попадались, работают либо с 1.3.6, либо с 1.4.4 и выше. А 1.4.2, в которую я умудрился вляпаться, как-то выпадает из списка
Ничего, найду еще подходящий редактор, или поставлю подходящую версию сервера
Спасибо за терпеливые ответы на мои нубские вопросы