08-02-2013, 12:34 AM
Not only are they renamed, but also they *should* (didn't check) get redirected - when MCServer cannot read settings.ini, it will try to read settings.example.ini and copy it to settings.ini. So it should work with whatever defaults we put in that file. And even if not, the defaults are hard-coded so that the server runs with basic config even without those files altogether.