Я пытаюсь изменить порт, на котором работает этот сервер, через eclipse, но независимо от того, что я делаю, похоже, он не выполняет автокомпиляцию / автозаполнение моего java-файла? Есть идеи?